Search Results

Your Search for APPLIED LOGIC SERIES returned 33 Items

Sort Preference Search Result Page: . 1 . . Page: 1 of 1
The titles shown in BOLD have items available, non bold titles do not have any items in stock

Display results in shelf format.

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