Limit Search Results
Author
SpringerLink (Online service)
(2126)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Kacprzyk, Janusz. editor.
(13)
Wiley InterScience (Online service)
(13)
Language
Publication Date
-
Subject
Computer science.
(1244)
Logic design.
(1148)
Software engineering.
(876)
Artificial intelligence.
(665)
Logic, Symbolic and mathematical.
(302)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2991 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
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 Logic in Reality
Logic in Reality
Author 
Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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/9780750681124
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fuzzy Equational Logic
Fuzzy Equational Logic
Author 
Bělohlávek, Radim. author. Vychodil, Vilém. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105121
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for LOGIC AND KNOWLEDGE
LOGIC AND KNOWLEDGE
Author 
Russell, Bertrand, 1872-1970, author.
Preferred Shelf Number 
B1649 .R94
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003605096
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
Author 
Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
Author 
Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3092-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Handbook of modal logic
Handbook of modal logic
Author 
Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text
ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Logic, Thought and Action
Logic, Thought and Action
Author 
Vanderveken, Daniel. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3167-X
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Paraconsistency: Logic and Applications
Paraconsistency: Logic and Applications
Author 
Tanaka, Koji. editor. Berto, Francesco. editor. Mares, Edwin. editor. Paoli, Francesco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335759.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4438-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
Author 
Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action