Ricerca Risultati

La tua ricerca per APPLIED LOGIC SERIES restituito 33 Documenti

Ordina Preferenze Search Result Page: . 1 . . Pagina: 1 di1
SELEZIONARE IL TITOLO PER INFORMAZIONI SULLA DISPONIBILITA'

Display results in shelf format.

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