Limit Search Results
Author
SpringerLink (Online service)
(1517)
Voronkov, Andrei. editor.
(16)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(10)
Language
Publication Date
-
2013
(164)
2011
(139)
2012
(133)
2007
(132)
2005
(119)
Subject
Logic design.
(1029)
Software engineering.
(928)
Artificial intelligence.
(506)
Computer Communication Networks.
(325)
Computer software.
(234)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1518 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
Author 
Lover, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-082-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Rigid Flexibility The Logic of Intelligence
Rigid Flexibility The Logic of Intelligence
Author 
Wang, Pei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5045-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
Author 
Rautenberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34241-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Author 
Makinson, David. editor. Malinowski, Jacek. editor. Wansing, Heinrich. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9084-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mathematics of Fuzzy Sets and Fuzzy Logic
Mathematics of Fuzzy Sets and Fuzzy Logic
Author 
Bede, Barnabas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333950.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35221-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic Functions and Equations Examples and Exercises
Logic Functions and Equations Examples and Exercises
Author 
Steinbach, Bernd. author. Posthoff, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9595-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Probabilistic Inductive Logic Programming Theory and Applications
Probabilistic Inductive Logic Programming Theory and Applications
Author 
Raedt, Luc. editor. Frasconi, Paolo. editor. Kersting, Kristian. editor. Muggleton, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78652-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Computation Engineering Applied Automata Theory and Logic
Computation Engineering Applied Automata Theory and Logic
Author 
Gopalakrishnan, Ganesh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-32520-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Multi-valued Logic for Decision-Making Under Uncertainty
Multi-valued Logic for Decision-Making Under Uncertainty
Author 
Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74762-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Author 
Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-85352-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
Cover image for Proof, Computation and Agency Logic at the Crossroads
Proof, Computation and Agency Logic at the Crossroads
Author 
van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0080-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action