Shortcuts
SISSA Library . Default .
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach MATHEMATICS ergibt 9 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr Thumbnail Titel Verfasser Jahr Kennz Exemplarinformation
1 Abduction and Induction: Essays on their Relation and Integration / Abduction and Induction: Essays on their Relation and Integration / [Ebook]
Reihe:Applied Logic Series,Band:18
 		  2000 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
2 Advances in Temporal Logic Advances in Temporal Logic [Ebook]
Reihe:Applied Logic Series,Band:16
 		  2000 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
3 Logical and Computational Aspects of Model-Based Reasoning Logical and Computational Aspects of Model-Based Reasoning [Ebook]
Reihe:Applied Logic Series,Band:25
 		  2002 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
4 Thirty Five Years of Automating Mathematics Thirty Five Years of Automating Mathematics [Ebook]
Reihe:Applied Logic Series,Band:28
 		  2003 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
5 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof [Ebook]
Reihe:Applied Logic Series,Band:27
 		Andrews, Peter B. 2002 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
6 Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems [Ebook]
Reihe:Applied Logic Series,Band:35
 		Carnielli, Walter 2008 Ebook URL Exists Catalogue Record Regalstandort: Online Resource: Springer.
7 A Modern Perspective on Type Theory: From its Origins until Today A Modern Perspective on Type Theory: From its Origins until Today [Ebook]
Reihe:Applied Logic SeriesBand:29
 		Kamareddine, Fairouz 2005 Ebook URL Exists Catalogue Record Regalstandort: Online Resource : Springer.
8 Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition / [Ebook]
Reihe:Applied Logic Series,Band:30
 		Leitgeb, Hannes 2004 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
9 The Semantics and Proof Theory of the Logic of Bunched Implications The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook]
Reihe:Applied Logic SeriesBand:26
 		Pym, David J. 2002 Ebook URL Exists Catalogue Record Regalstandort: Online resource: Springer.
Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien

Schnellsuche