Limit Search Results
Author
SpringerLink (Online service)
(149)
Dompere, Kofi Kissi. author.
(3)
Carnap, Rudolf, 1891-1970.
(2)
Chen, Jianer. editor.
(2)
Gabbay, Dov M., 1945-
(2)
Subject
Computer science.
(109)
Logic design.
(98)
Software engineering.
(55)
Artificial intelligence.
(38)
Logic, Symbolic and mathematical.
(36)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
190 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings
Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings
Author 
Gesù, Vito. editor. Pal, Sankar Kumar. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02282-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers
Author 
Fisher, Michael. editor. Sadri, Fariba. editor. Thielscher, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02734-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings
Author 
Hill, Patricia M. editor. Warren, David S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02846-5
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Author 
Grädel, Erich. editor. Kahle, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04027-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Duverger's Law of Plurality Voting The Logic of Party Competition in Canada, India, the United Kingdom and the United States
Duverger's Law of Plurality Voting The Logic of Party Competition in Canada, India, the United Kingdom and the United States
Author 
Bowler, Shaun. editor. Blais, André. editor. Grofman, Bernard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09720-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for A Missing Link in Cybernetics Logic and Continuity
A Missing Link in Cybernetics Logic and Continuity
Author 
Andrew, Alex M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75164-1
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference
Probabilistic Logic Networks A Comprehensive Framework for Uncertain Inference
Author 
Goertzel, Ben. author. Iklé, Matthew. author. Goertzel, Izabela Freire. author. Heljakka, Ari. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76872-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Author 
Solojentsev, Evgueni D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-77946-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications
Modeling Uncertainty with Fuzzy Logic With Recent Theory and Applications
Author 
Celikyilmaz, Asli. author. Türksen, I. Burhan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89924-2
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for The pyramid principle : logic in writing and thinking
The pyramid principle : logic in writing and thinking
Author 
Minto, Barbara.
Preferred Shelf Number 
PE1115 M54 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
47. 
Cover image for Subsystems of Second Order Arithmetic
Subsystems of Second Order Arithmetic
Author 
Simpson, Stephen G..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
Author 
Metcalfe, George. author. Olivetti, Nicola. author. Gabbay, Dov. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9409-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action