Limit Search Results
Author
SpringerLink (Online service)
(14)
Adler, Mortimer Jerome, 1902-
(1)
Amgoud, Leila. author.
(1)
Bobillo, Fernando. editor.
(1)
Bogoslovsky, Boris Basil, 1890-
(1)
Language
Subject
Computer science.
(12)
Artificial Intelligence (incl. Robotics).
(10)
Artificial intelligence.
(10)
Mathematical Logic and Formal Languages.
(9)
Logic design.
(7)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Author 
Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334962.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40537-2
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
Author 
Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334969.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40564-8
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers
Author 
Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Preferred Shelf Number 
ONLINE(334092.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35975-0
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings
Author 
Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334719.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39056-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
Author 
Gaag, Linda C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334728.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39091-3
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Author 
Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Dialectic
Dialectic
Author 
Adler, Mortimer Jerome, 1902-
Preferred Shelf Number 
BC 177 A4 1927 (SET)
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
20. 
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:
21. 
Cover image for Mathematical morphology in geomorphology and GISci
Mathematical morphology in geomorphology and GISci
Author 
Daya Sagar, B. S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Mathematical tools for understanding infectious diseases dynamics
Mathematical tools for understanding infectious diseases dynamics
Author 
Diekmann, O. Heesterbeek, Hans, 1960- Britton, Tom.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq9530
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for A statistical guide for the ethically perplexed
A statistical guide for the ethically perplexed
Author 
Hubert, Lawrence J., 1944- Wainer, Howard.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Paradoxes in scientific inference
Paradoxes in scientific inference
Author 
Chang, Mark.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies: