Limit Search Results
Author
SpringerLink (Online service)
(44)
Rauber, Thomas. author.
(3)
Rünger, Gudula. author.
(3)
Abts, Dietmar. author.
(2)
Boles, Dietrich. author.
(2)
Language
Publication Date
-
Subject
Computer science.
(39)
Software engineering.
(22)
Engineering.
(9)
Logische Programmierung.
(7)
Logic programming -- Congresses.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
61 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Logic programming proceedings of the 1997 International Symposium
Logic programming proceedings of the 1997 International Symposium
Author 
Małuszyński, J. (Jan), 1941- Association for Logic Programming. International Symposium on Logic Programming (1997 : Port Washington, Long Island, N.Y.)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Logic programming proceedings of the Fourteenth International Conference on Logic Programming
Author 
International Conference on Logic Programming (14th : 1997 : Louvain, Belgium) Naish, Lee, 1960-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267518
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Logic programming proceedings of the 1996 Joint International Conference and Symposium on Logic Programming
Author 
Joint International Conference and Symposium on Logic Programming (1996 : Bonn, Germany) Maher, Michael, 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Structure and interpretation of computer programs
Structure and interpretation of computer programs
Author 
Abelson, Harold. Sussman, Gerald Jay. Sussman, Julie.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Logic programming proceedings of the twelfth International Conference on Logic Programming
Logic programming proceedings of the twelfth International Conference on Logic Programming
Author 
Sterling, Leon.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Logic programming proceedings of the eleventh International Conference on Logic Programming
Logic programming proceedings of the eleventh International Conference on Logic Programming
Author 
Van Hentenryck, Pascal.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267351
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Logic programming and non-monotonic reasoning proceedings of the second international workshop
Logic programming and non-monotonic reasoning proceedings of the second international workshop
Author 
Pereira, Luís Moniz. Nerode, Anil, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Logic programming languages constraints, functions, and objects
Logic programming languages constraints, functions, and objects
Author 
Apt, Krzysztof R., 1949- Bakker, J. W. de (Jacobus Willem), 1939- Rutten, J. J. M. M.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267211
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Object-oriented programming the CLOS perspective
Object-oriented programming the CLOS perspective
Author 
Paepcke, Andreas.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267315
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Author 
Agha, Gul A. Wegner, Peter. Yonezawa, Akinori.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267530
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Data-parallel programming on MIMD computers
Data-parallel programming on MIMD computers
Author 
Hatcher, Philip J. Quinn, Michael J. (Michael Jay)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Author 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action