Limit Search Results
Author
Voronkov, Andrei. editor.
(18)
Bonsangue, Marcello M. editor.
(11)
Boer, Frank S. editor.
(10)
Potapov, Igor. editor.
(9)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
2013
(203)
2011
(183)
2019
(164)
2012
(163)
2007
(153)
Subject
Computer science.
(1242)
Logic design.
(1118)
Software engineering.
(874)
Artificial intelligence.
(601)
Computer Communication Networks.
(294)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2011 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
Author 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
Author 
Srivastava, S. M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76277-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Introduction to Fuzzy Logic using MATLAB
Introduction to Fuzzy Logic using MATLAB
Author 
Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-35781-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
Cover image for Fuzzy Logic Applications in Engineering Science
Fuzzy Logic Applications in Engineering Science
Author 
Harris, J. author. Tzafestas, S. G. editor. Chen, C. S. editor. Fokuda, T. editor. Harashima, F. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4078-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Handbook of Philosophical Logic, 2nd Edition
Handbook of Philosophical Logic, 2nd Edition
Author 
Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3521-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Fuzzy Logic, Identification and Predictive Control
Fuzzy Logic, Identification and Predictive Control
Author 
Espinosa, Jairo. author. Vandewalle, Joos. author. Wertz, Vincent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138626
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Fuzzy Logic in Financial Analysis
Fuzzy Logic in Financial Analysis
Author 
Gil-Lafuente, Anna Maria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32368-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Judgement and the Epistemic Foundation of Logic
Judgement and the Epistemic Foundation of Logic
Author 
van der Schaar, Maria. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335895.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5137-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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:
Select an Action