Limit Search Results
Author
SpringerLink (Online service)
(147)
Wiley InterScience (Online service)
(5)
Risby, Bonnie Lou.
(4)
Crawford, Dean.
(3)
Leite, João. editor.
(3)
Language
Subject
Computer science.
(119)
Logic design.
(110)
Software engineering.
(70)
Artificial intelligence.
(43)
Computer Communication Networks.
(32)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
198 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Phenomenology, Logic, and the Philosophy of Mathematics
Phenomenology, Logic, and the Philosophy of Mathematics
Author 
Tieszen, Richard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Logic safari. Book 1, grades 2-3
Logic safari. Book 1, grades 2-3
Author 
Risby, Bonnie Lou. Palouda, Annelise, illustrator.
Format: 
Availability 
~0
Available:
Copies:
27. 
Cover image for Quantifying Environmental Impact Assessments Using Fuzzy Logic
Quantifying Environmental Impact Assessments Using Fuzzy Logic
Author 
Shepard, Richard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28098-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for The rise of modern logic from Leibniz to Frege
The rise of modern logic from Leibniz to Frege
Author 
Gabbay, Dov M., 1945- Woods, John (John Hayden)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for The technique of controversy : principles of dynamic logic
The technique of controversy : principles of dynamic logic
Author 
Bogoslovsky, Boris Basil, 1890-
Preferred Shelf Number 
BC 108 B65 1928 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
30. 
Cover image for The limits of science : outline of logic and of the methodology of the exact sciences
The limits of science : outline of logic and of the methodology of the exact sciences
Author 
Chwistek, Leon, 1884- Brodie, Helen Charlotte, 1915-
Preferred Shelf Number 
Q 175 C494 1948 A (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
31. 
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:
32. 
Cover image for Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Model and Design of Bipolar and MOS Current-Mode Logic CML, ECL and SCL Digital Circuits
Author 
Alioto, Massimo. author. Palumbo, Gaetano. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2888-1
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers
Author 
Dix, Jürgen. editor. Leite, João. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104175
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Author 
Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11591191
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings
Author 
Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11546207
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Ong, Luke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538363
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action