Limit Search Results
Author
SpringerLink (Online service)
(470)
Gabbay, Dov M. author.
(4)
Löwe, Benedikt. editor.
(4)
Mostowski, Andrzej.
(4)
Schlechta, Karl. author.
(4)
Language
Publication Date
-
Subject
Logic, Symbolic and mathematical.
(314)
Computer science.
(198)
Artificial intelligence.
(156)
Mathematical logic.
(151)
Mathematics.
(133)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
624 Results Found Subscribe to search results
000000000000DEFAULT
Print
553. 
Cover image for Logica Universalis Towards a General Theory of Logic
Logica Universalis Towards a General Theory of Logic
Author 
Beziau, Jean-Yves. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137041
Format: 
Availability 
Online Library~1
Available:
Copies:
554. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
Author 
Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137280
Format: 
Availability 
Online Library~1
Available:
Copies:
555. 
Cover image for Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Author 
Middeldorp, Aart. editor. Oostrom, Vincent. editor. Raamsdonk, Femke. editor. Vrijer, Roel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11601548
Format: 
Availability 
Online Library~1
Available:
Copies:
556. 
Cover image for Laws of Nature
Laws of Nature
Author 
Mittelstaedt, Peter. Weingartner, Paul A. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28303-X
Format: 
Availability 
Online Library~1
Available:
Copies:
557. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
558. 
Cover image for Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Author 
Solojentsev, E. D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
559. 
Cover image for Logically determined design clockless system design with NULL convention logic
Logically determined design clockless system design with NULL convention logic
Author 
Fant, Karl M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: 
Availability 
Online Library~1
Available:
Copies:
560. 
Cover image for The Big Typescript, TS. 213
The Big Typescript, TS. 213
Author 
Wittgenstein, Ludwig, 1889-1951. Luckhardt, C. Grant, 1943- Aue, Maximilian. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0802/2004030873-b.html
John Wiley http://dx.doi.org/10.1002/9780470752906
Format: 
Availability 
Online Library~1
Available:
Copies:
561. 
Cover image for Linear Logic in Computer Science
Linear Logic in Computer Science
Author 
Ehrhard, Thomas. Girard, Jean-Yves. Ruet, Paul. Scott, Philip.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
562. 
Cover image for Önermeler mantığı :
Önermeler mantığı :
Author 
Nesin, Ali.
Preferred Shelf Number 
QA 270 .N476 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
563. 
Cover image for Logic and structure
Logic and structure
Author 
Dalen, D. van.
Preferred Shelf Number 
QA 9 D16 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
564. 
Cover image for Charles S. Peirce zur Einführung
Charles S. Peirce zur Einführung
Author 
Pape, Helmut.
Preferred Shelf Number 
B945.P44 P347 2004
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action