Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for APPLIED LOGIC SERIES returned 33 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Abduction and Induction: Essays on their Relation and Integration / Abduction and Induction: Essays on their Relation and Integration / [Ebook]
Series:Applied Logic Series,Volume:18
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
2 Advances in Intensional Logic Advances in Intensional Logic [Ebook]
Series:Applied Logic Series,Volume:7
  1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
3 Advances in Temporal Logic Advances in Temporal Logic [Ebook]
Series:Applied Logic Series,Volume:16
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
4 Automated Deduction — A Basis for Applications: Volume III Applications / Automated Deduction — A Basis for Applications: Volume III Applications / [Ebook]
Series:Applied Logic Series,Volume:10
  1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
5 Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques / [Ebook]
Series:Applied Logic Series,Volume:9
  1998 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
6 Dynamic Worlds: From the Frame Problem to Knowledge Management / Dynamic Worlds: From the Frame Problem to Knowledge Management / [Ebook]
Series:Applied Logic Series,Volume:12
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
7 Formal Aspects of Context Formal Aspects of Context [Ebook]
Series:Applied Logic Series,Volume:20
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
8 Foundations of Bayesianism Foundations of Bayesianism [Ebook]
Series:Applied Logic Series,Volume:24
  2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
9 Foundations of Rational Agency Foundations of Rational Agency [Ebook]
Series:Applied Logic Series,Volume:14
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
10 Frontiers in Belief Revision Frontiers in Belief Revision [Ebook]
Series:Applied Logic Series,Volume:22
  2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
11 Frontiers of Combining Systems: First International Workshop, Munich, March 1996 / Frontiers of Combining Systems: First International Workshop, Munich, March 1996 / [Ebook]
Series:Applied Logic Series,Volume:3
  1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
12 Fuzzy Sets, Logics and Reasoning about Knowledge Fuzzy Sets, Logics and Reasoning about Knowledge [Ebook]
Series:Applied Logic Series,Volume:15
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
13 Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel / Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel / [Ebook]
Series:Applied Logic Series,Volume:19
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
14 Labelled Deduction Labelled Deduction [Ebook]
Series:Applied Logic Series,Volume:17
  2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
15 Logic, Language and Computation Logic, Language and Computation [Ebook]
Series:Applied Logic Series,Volume:5
  1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
16 Logical and Computational Aspects of Model-Based Reasoning Logical and Computational Aspects of Model-Based Reasoning [Ebook]
Series:Applied Logic Series,Volume:25
  2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
17 New Essays in Free Logic: In Honour of Karel Lambert / New Essays in Free Logic: In Honour of Karel Lambert / [Ebook]
Series:Applied Logic Series,Volume:23
  2001 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
18 Proof Theory of Modal Logic Proof Theory of Modal Logic [Ebook]
Series:Applied Logic Series,Volume:2
  1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
19 Thirty Five Years of Automating Mathematics Thirty Five Years of Automating Mathematics [Ebook]
Series:Applied Logic Series,Volume:28
  2003 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
20 What is Negation? What is Negation? [Ebook]
Series:Applied Logic Series,Volume:13
  1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
21 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]
Series:Applied Logic Series,Volume:27
Andrews, Peter B. 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
22 Hybrid Logic and its Proof-Theory Hybrid Logic and its Proof-Theory [Ebook]
Series:Applied Logic Series,Volume:37
Braüner, Torben 2011 Ebook URL Exists Catalogue Record Shelf Location: Online Resource Springer Netherlands,.
23 Automated Model Building Automated Model Building [Ebook]
Series:Applied Logic Series,Volume:31
Caferra, Ricardo 2004 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
24 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]
Series:Applied Logic Series,Volume:35
Carnielli, Walter 2008 Ebook URL Exists Catalogue Record Shelf Location: Online Resource Springer Netherlands,.
25 Goal-Directed Proof Theory Goal-Directed Proof Theory [Ebook]
Series:Applied Logic Series,Volume:21
Gabbay, Dov M. 2000 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
26 A Textbook of Belief Dynamics: Solutions to exercises / A Textbook of Belief Dynamics: Solutions to exercises / [Ebook]
Series:Applied Logic Series,Volume:11/2
Hansson, Sven Ove 1999 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
27 A Modern Perspective on Type Theory: From its Origins until Today A Modern Perspective on Type Theory: From its Origins until Today [Ebook]
Series:Applied Logic SeriesVolume:29
Kamareddine, Fairouz 2005 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
28 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]
Series:Applied Logic Series,Volume:30
Leitgeb, Hannes 2004 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
29 Multi-Dimensional Modal Logic Multi-Dimensional Modal Logic [Ebook]
Series:Applied Logic Series,Volume:4
Marx, Maarten 1997 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
30 Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics [Ebook]
Series:Applied Logic SeriesVolume:36
Metcalfe, George 2009 Ebook URL Exists Catalogue Record Shelf Location: Online Resource : Springer.
31 The Semantics and Proof Theory of the Logic of Bunched Implications The Semantics and Proof Theory of the Logic of Bunched Implications [Ebook]
Series:Applied Logic Series,Volume:26
Pym, David J. 2002 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
32 Fallacies Arising from Ambiguity Fallacies Arising from Ambiguity [Ebook]
Series:Applied Logic Series,Volume:1
Walton, Douglas 1996 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
33 The Death of Argument: Fallacies in Agent Based Reasoning / The Death of Argument: Fallacies in Agent Based Reasoning / [Ebook]
Series:Applied Logic Series,Volume:32
Woods, John 2004 Ebook URL Exists Catalogue Record Shelf Location: Online resource: Springer.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

. E-mail This Page
Quick Search