Limit Search Results
Author
SpringerLink (Online service)
(152)
Dompere, Kofi Kissi. author.
(3)
Chen, Jianer. editor.
(2)
Gabbay, Dov M., 1945-
(2)
Governatori, Guido. editor.
(2)
Language
Subject
Computer science.
(110)
Logic design.
(99)
Software engineering.
(55)
Artificial intelligence.
(38)
Logic, Symbolic and mathematical.
(31)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
168 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Logic Colloquium 2006
Logic Colloquium 2006
Author 
Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Stochastic Coalgebraic Logic
Stochastic Coalgebraic Logic
Author 
Doberkat, Ernst-Erich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02995-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Programmable logic controllers
Programmable logic controllers
Author 
Bolton, W. (William), 1933-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9781856177511
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logic and Integer Programming
Logic and Integer Programming
Author 
Williams, H. Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-92280-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Games: Unifying Logic, Language, and Philosophy
Games: Unifying Logic, Language, and Philosophy
Author 
Majer, Ondrej. editor. Pietarinen, Ahti-Veikko. editor. Tulenheimo, Tero. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9374-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Neural Cell Behavior and Fuzzy Logic
Neural Cell Behavior and Fuzzy Logic
Author 
Sandler, Uziel. editor. Tsitolovsky, Lev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09543-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Handbook of quantum logic and quantum structures quantum logic
Handbook of quantum logic and quantum structures quantum logic
Author 
Engesser, Kurt. Gabbay, Dov M., 1945- Lehmann, Daniel, 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444528698
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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:
9. 
Cover image for Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
Knowledge-Based Neurocomputing: A Fuzzy Logic Approach
Author 
Kolman, Eyal. author. Margaliot, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88077-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic Synthesis for FSM-Based Control Units
Logic Synthesis for FSM-Based Control Units
Author 
Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04309-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for The theory of gambling and statistical logic
The theory of gambling and statistical logic
Author 
Epstein, Richard A., 1927-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123749406
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets