Limit Search Results
Author
SpringerLink (Online service)
(183)
Project Muse.
(4)
Gabbay, Dov M. editor.
(3)
Barthe, Gilles. editor.
(2)
Calude, Cristian S. editor.
(2)
Language
Subject
Computer science.
(139)
Logic design.
(114)
Software engineering.
(80)
Artificial intelligence.
(54)
Logic, Symbolic and mathematical.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
267 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
Inductive Logic Programming 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers
Author 
Frasconi, Paolo. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21295-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Author 
Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21490-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Author 
Vasyukevich, Vadim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21611-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Author 
Kuchen, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22531-4
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
Author 
Kaiser, Łukasz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22807-0
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp
Emotional Cognitive Neural Algorithms with Engineering Applications Dynamic Logic: FromVague to Crisp
Author 
Perlovsky, Leonid. author. Deming, Ross. author. Ilin, Roman. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22830-8
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings
Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings
Author 
Fanelli, Anna Maria. editor. Pedrycz, Witold. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-23713-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Proofs and Algorithms An Introduction to Logic and Computability
Proofs and Algorithms An Introduction to Logic and Computability
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for After Gödel Platonism and rationalism in mathematics and logic
After Gödel Platonism and rationalism in mathematics and logic
Author 
Tieszen, Richard L.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199606207.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for The logic of the Trinity Augustine to Ockham
The logic of the Trinity Augustine to Ockham
Author 
Thom, Paul. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein
Author 
Hopkins, Burt C. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
Author 
Bezhanishvili, Nick. editor. Löbner, Sebastian. editor. Schwabe, Kerstin. editor. Spada, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-22303-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action