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.
(317)
Mathematics.
(129)
Computer science.
(101)
Logic.
(48)
Artificial intelligence.
(34)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
360 Results Found Subscribe to search results
000000000000DEFAULT
Print
301. 
Cover image for Sembolik mantık el kitabı
Sembolik mantık el kitabı
Author 
Grünberg, Teo.
Preferred Shelf Number 
BC 135 G969 2000 V.2
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
302. 
Cover image for From Peirce to Skolem a neglected chapter in the history of logic
From Peirce to Skolem a neglected chapter in the history of logic
Author 
Brady, Geraldine.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444503343
Format: 
Availability 
Online Library~1
Available:
Copies:
303. 
Cover image for Logic-based methods for optimization combining optimization and constraint satisfaction
Logic-based methods for optimization combining optimization and constraint satisfaction
Author 
Hooker, John, 1949- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley043/99088732.html
Format: 
Availability 
Online Library~1
Available:
Copies:
304. 
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:
305. 
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:
306. 
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:
307. 
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:
308. 
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:
309. 
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:
310. 
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:
311. 
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:
312. 
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:
Select an Action