Limit Search Results
Author
SpringerLink (Online service)
(225)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Schlechta, Karl. author.
(4)
Andreescu, Titu. author.
(3)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(314)
Mathematics.
(129)
Computer science.
(101)
Logic.
(48)
Artificial intelligence.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
357 Results Found Subscribe to search results
000000000000DEFAULT
Print
301. 
Cover image for Optimization methods for logical inference
Optimization methods for logical inference
Author 
Chandru, Vijay, 1953- Hooker, John, 1949-
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/98044622.html
Format: 
Availability 
Online Library~1
Available:
Copies:
302. 
Cover image for Elements of the theory of computation
Elements of the theory of computation
Author 
Lewis, Harry R. Papadimitriou, Christos H.
Preferred Shelf Number 
QA267 .L49 1998
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
303. 
Cover image for Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Ones and zeros understanding Boolean algebra, digital circuits, and the logic of sets
Author 
Gregg, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
Cover image for Admissibility of logical inference rules
Admissibility of logical inference rules
Author 
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444895059
Format: 
Availability 
Online Library~1
Available:
Copies:
305. 
Cover image for Handbook of logic and language
Handbook of logic and language
Author 
Benthem, Johan van, 1949- Meulen, Alice G. B. ter.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444817143
Format: 
Availability 
Online Library~1
Available:
Copies:
306. 
Cover image for Logic of mathematics a modern course of classical logic
Logic of mathematics a modern course of classical logic
Author 
Adamowicz, Zofia. Zbierski, Paweł. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Ebook Library Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley042/95020818.html
Format: 
Availability 
Online Library~1
Available:
Copies:
307. 
Cover image for Logical frameworks for truth and abstraction an axiomatic study
Logical frameworks for truth and abstraction an axiomatic study
Author 
Cantini, Andrea.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444823069
Format: 
Availability 
Online Library~1
Available:
Copies:
308. 
Cover image for Principles of logic and logic programming
Principles of logic and logic programming
Author 
Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444816443
Format: 
Availability 
Online Library~1
Available:
Copies:
309. 
Cover image for Logic and information flow
Logic and information flow
Author 
Eijck, J. van (Jan) Visser, Albert.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format: 
Availability 
Online Library~1
Available:
Copies:
310. 
Cover image for Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Logic, methodology, and philosophy of science IX proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
Author 
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444893413
Format: 
Availability 
Online Library~1
Available:
Copies:
311. 
Cover image for Logic-based decision support mixed integer model formulation
Logic-based decision support mixed integer model formulation
Author 
Jeroslow, Robert G., 1942-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444871190
Format: 
Availability 
Online Library~1
Available:
Copies:
312. 
Cover image for Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Logic Colloquium '88 proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
Author 
Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets