Limit Search Results
Author
SpringerLink (Online service)
(139)
Wiley InterScience (Online service)
(3)
Baldoni, Matteo. editor.
(2)
Bjørner, Dines. author.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Language
Subject
Computer science.
(112)
Logic design.
(98)
Software engineering.
(66)
Artificial intelligence.
(43)
Computer Communication Networks.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
192 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Postmodernism, or, The cultural logic of late capitalism
Postmodernism, or, The cultural logic of late capitalism
Author 
Jameson, Fredric.
Preferred Shelf Number 
PN 98.P67 J3 1991
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
26. 
Cover image for Why not kill them all? : the logic and prevention of mass political murder
Why not kill them all? : the logic and prevention of mass political murder
Author 
Chirot, Daniel. McCauley, Clark R.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7pf8w
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
Author 
Lau, Dietlinde. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-36023-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Author 
Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11874683
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
Author 
Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11916277
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers
Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers
Author 
Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/10983652
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Author 
Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32870-4
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Author 
Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11737414
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
Author 
Bhattacharya, Alakananda. author. Konar, Amit. author. Mandal, Ajit K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-33459-0
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers
Author 
Toni, Francesca. editor. Torroni, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11750734
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
Author 
Etalle, Sandro. editor. Truszczyński, Mirosław. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11799573
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action