Limit Search Results
Author
Language
Publication Date
-
Subject
First-order logic.
(4)
Electronic books.
(2)
Artificial intelligence.
(1)
Boole, George, 1815-1864.
(1)
COMPUTERS.
(1)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
21 Results Found Subscribe to search results
000000000DEFAULT
Print
1. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Proof theory : sequent calculi and related formalisms
Proof theory : sequent calculi and related formalisms
Author 
Bimbo, Katalin, 1963, author.
Preferred Shelf Number 
QA9.54 .B55 2015
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
Power Electronics and Renewable Energy Systems Proceedings of ICPERES 2014
Author 
Kamalakannan, C. editor. Suresh, L. Padma. editor. Dash, Subhransu Sekhar. editor. Panigrahi, Bijaya Ketan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2119-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for The logician and the engineer : how George Boole and Claude Shannon created the information age
The logician and the engineer : how George Boole and Claude Shannon created the information age
Author 
Nahin, Paul J.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.cttq957s
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Fundamentals of physical design and query compilation
Fundamentals of physical design and query compilation
Author 
Toman, David. Weddell, Grant E. (Grant Edwin), 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440450
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Simple Theories and Hyperimaginaries
Simple Theories and Hyperimaginaries
Author 
Casanovas, Enrique.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Independence-Friendly Logic A Game-Theoretic Approach
Independence-Friendly Logic A Game-Theoretic Approach
Author 
Mann, Allen L.. Sandu, Gabriel. Sevenster, Merlijn.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logical labyrinths
Logical labyrinths
Author 
Smullyan, Raymond M., author.
Preferred Shelf Number 
QA9 .S575 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Dependence Logic A New Approach to Independence Friendly Logic
Dependence Logic A New Approach to Independence Friendly Logic
Author 
Väänänen, Jouko.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies: