Bücher - Buchreihe - Applied Logic Series - (74)


A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
F.D. Kamareddine; T. Laan; Rob Nederpelt
Springer Netherland, 2010, 360 S., 9789048166398
139,09 €

Bestellen
A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
F.D. Kamareddine; T. Laan; Rob Nederpelt
Springer Netherland, 2004, 360 S., 9781402023347
192,59 €

Bestellen
A Textbook of Belief Dynamics
A Textbook of Belief Dynamics
Sven Ove Hansson
Springer Netherland, 2010, 399 S., 9789048151257
160,49 €

Bestellen
A Textbook of Belief Dynamics
A Textbook of Belief Dynamics
Sven Ove Hansson
Springer Netherland, 1999, 65 S., 9780792353294

Bestellen
A Textbook of Belief Dynamics
A Textbook of Belief Dynamics
Sven Ove Hansson
Springer Netherland, 1999, 399 S., 9780792353249
160,49 €

Bestellen
Abduction and Induction
Abduction and Induction
P.A. Flach; Antonis Hadjiantonis (Hrsg.)
Springer Netherland, 2010, 309 S., 9789048154333
160,49 €

Bestellen
Abduction and Induction
Abduction and Induction
P.A. Flach; Antonis Hadjiantonis (Hrsg.)
Springer Netherland, 2000, 309 S., 9780792362500
160,49 €

Bestellen
Advances in Intensional Logic
Advances in Intensional Logic
Maarten de Rijke (Hrsg.)
Springer Netherland, 1997, 294 S., 9780792347118
160,49 €

Bestellen
Advances in Intensional Logic
Advances in Intensional Logic
Maarten de Rijke (Hrsg.)
Springer Netherland, 2010, 294 S., 9789048148974

Bestellen
Advances in Temporal Logic
Advances in Temporal Logic
Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough (Hrsg.)
Springer Netherland, 1999, 453 S., 9780792361497
160,49 €

Bestellen
Advances in Temporal Logic
Advances in Temporal Logic
Howard Barringer; Michael Fisher; Dov M. Gabbay; Graham Gough (Hrsg.)
Springer Netherland, 2010, 453 S., 9789048153893
160,49 €

Bestellen
An Introduction to Mathematical Logic and Type Theory
An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
Springer Netherland, 2002, 390 S., 9781402007637
139,09 €

Bestellen
An Introduction to Mathematical Logic and Type Theory
An Introduction to Mathematical Logic and Type Theory
Peter B. Andrews
Springer Netherland, 2010, 390 S., 9789048160792
96,29 €

Bestellen
Analysis and Synthesis of Logics
Analysis and Synthesis of Logics
Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia u. a.
Springer Netherland, 2008, 602 S., 9781402067815
160,49 €

Bestellen
Analysis and Synthesis of Logics
Analysis and Synthesis of Logics
Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay; Paula Gouveia u. a.
Springer Netherland, 2010, 602 S., 9789048177257
160,49 €

Bestellen
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel; P.H. Schmitt (Hrsg.)
Springer Netherland, 1998, 335 S., 9780792351313
160,49 €

Bestellen
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel; P.H. Schmitt (Hrsg.)
Springer Netherland, 1998, 434 S., 9780792351306
213,99 €

Bestellen
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel; P.H. Schmitt (Hrsg.)
Springer Netherland, 2010, 335 S., 9789048150526
160,49 €

Bestellen
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel; P.H. Schmitt (Hrsg.)
Springer Netherland, 2010, 434 S., 9789048150519
213,99 €

Bestellen
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel; P.H. Schmitt (Hrsg.)
Springer Netherland, 1998, 481 S., 9780792351290
213,99 €

Bestellen
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Wolfgang Bibel; P.H. Schmitt (Hrsg.)
Springer Netherland, 2010, 481 S., 9789048150502
213,99 €

Bestellen
Automated Model Building
Automated Model Building
Ricardo Caferra; Alexander Leitsch; Nicolas Peltier
Springer Netherland, 2010, 341 S., 9789048166961
160,49 €

Bestellen
Automated Model Building
Automated Model Building
Ricardo Caferra; Alexander Leitsch; Nicolas Peltier
Springer Netherland, 2004, 341 S., 9781402026522
160,49 €

Bestellen
Dynamic Worlds
Dynamic Worlds
Remo Pareschi; Bertram Fronhöfer (Hrsg.)
Springer Netherland, 1999, 283 S., 9780792355359

Bestellen
Dynamic Worlds
Dynamic Worlds
Remo Pareschi; Bertram Fronhöfer (Hrsg.)
Springer Netherland, 2010, 283 S., 9789048151592
106,99 €

Bestellen
Fallacies Arising from Ambiguity
Fallacies Arising from Ambiguity
Douglas Walton
Springer Netherland, 1996, 293 S., 9780792341000
192,59 €

Bestellen
Fallacies Arising from Ambiguity
Fallacies Arising from Ambiguity
Douglas Walton
Springer Netherland, 2010, 293 S., 9789048147175

Bestellen
Formal Aspects of Context
Formal Aspects of Context
Pierre Bonzon; Marcos Cavalcanti; Rolf Nossum (Hrsg.)
Springer Netherland, 2000, 216 S., 9780792363507
106,99 €

Bestellen
Formal Aspects of Context
Formal Aspects of Context
Pierre Bonzon; Marcos Cavalcanti; Rolf Nossum (Hrsg.)
Springer Netherland, 2010, 216 S., 9789048154722
106,99 €

Bestellen
Foundations of Bayesianism
Foundations of Bayesianism
D. Corfield; J. Williamson (Hrsg.)
Springer Netherland, 2001, 416 S., 9781402002236
160,49 €

Bestellen
Foundations of Bayesianism
Foundations of Bayesianism
D. Corfield; J. Williamson (Hrsg.)
Springer Netherland, 2011, 416 S., 9789048159208
160,49 €

Bestellen
Foundations of Rational Agency
Foundations of Rational Agency
Michael Wooldridge; A. Rao (Hrsg.)
Springer Netherland, 1999, 302 S., 9780792356011
160,49 €

Bestellen
Foundations of Rational Agency
Foundations of Rational Agency
Michael Wooldridge; A. Rao (Hrsg.)
Springer Netherland, 2010, 302 S., 9789048151776
160,49 €

Bestellen
Frontiers in Belief Revision
Frontiers in Belief Revision
M. Williams; Hans Rott (Hrsg.)
Springer Netherland, 2010, 454 S., 9789048157204
160,49 €

Bestellen
Frontiers in Belief Revision
Frontiers in Belief Revision
M. Williams; Hans Rott (Hrsg.)
Springer Netherland, 2001, 454 S., 9780792370215
160,49 €

Bestellen
Frontiers of Combining Systems
Frontiers of Combining Systems
F. Baader; K.U. Schulz (Hrsg.)
Springer Netherland, 2014, 388 S., 9789401066433
53,49 €

Bestellen
Fuzzy Sets, Logics and Reasoning about Knowledge
Fuzzy Sets, Logics and Reasoning about Knowledge
Didier Dubois; Henri Prade; Erich Peter Klement (Hrsg.)
Springer Netherland, 2010, 425 S., 9789048153244
160,49 €

Bestellen
Fuzzy Sets, Logics and Reasoning about Knowledge
Fuzzy Sets, Logics and Reasoning about Knowledge
Didier Dubois; Henri Prade; Erich Peter Klement (Hrsg.)
Springer Netherland, 1999, 425 S., 9780792359777
160,49 €

Bestellen
Goal-Directed Proof Theory
Goal-Directed Proof Theory
Dov M. Gabbay; N. Olivetti
Springer Netherland, 2000, 268 S., 9780792364733

Bestellen
Goal-Directed Proof Theory
Goal-Directed Proof Theory
Dov M. Gabbay; N. Olivetti
Springer Netherland, 2010, 268 S., 9789048155262
106,99 €

Bestellen
Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Torben Braüner
Springer Netherland, 2010, 231 S., 9789400700017
106,99 €

Bestellen
Hybrid Logic and its Proof-Theory
Hybrid Logic and its Proof-Theory
Torben Braüner
Springer Netherland, 2013, 231 S., 9789400734357
106,99 €

Bestellen
Inference on the Low Level
Inference on the Low Level
Hannes Leitgeb
Springer Netherland, 2004, 386 S., 9781402024924

Bestellen
Inference on the Low Level
Inference on the Low Level
Hannes Leitgeb
Springer Netherland, 2010, 386 S., 9789048166695
160,49 €

Bestellen
Intellectics and Computational Logic
Intellectics and Computational Logic
Steffen Hölldobler (Hrsg.)
Springer Netherland, 2000, 388 S., 9780792362616

Bestellen
Intellectics and Computational Logic
Intellectics and Computational Logic
Steffen Hölldobler (Hrsg.)
Springer Netherland, 2010, 388 S., 9789048154388
160,49 €

Bestellen
Labelled Deduction
Labelled Deduction
David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews u. a.
Springer Netherland, 2012, 267 S., 9789401057813
106,99 €

Bestellen
Labelled Deduction
Labelled Deduction
David Basin; M. D'Agostino; Dov M. Gabbay; Seán Matthews u. a.
Springer Netherland, 2000, 267 S., 9780792362371
106,99 €

Bestellen
Logic, Language and Computation
Logic, Language and Computation
S. Akama (Hrsg.)
Springer Netherland, 1997, 253 S., 9780792343769
106,99 €

Bestellen
Logic, Language and Computation
Logic, Language and Computation
S. Akama (Hrsg.)
Springer Netherland, 2012, 253 S., 9789401063777
106,99 €

Bestellen
Logical and Computational Aspects of Model-Based Reasoning
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani; N.J. Nersessian; Claudio Pizzi (Hrsg.)
Springer Netherland, 2002, 342 S., 9781402007910

Bestellen
Logical and Computational Aspects of Model-Based Reasoning
Logical and Computational Aspects of Model-Based Reasoning
L. Magnani; N.J. Nersessian; Claudio Pizzi (Hrsg.)
Springer Netherland, 2002, 342 S., 9781402007125

Bestellen
Multi-Dimensional Modal Logic
Multi-Dimensional Modal Logic
Maarten Marx; Yde Venema
Springer Netherland, 2012, 239 S., 9789401064019

Bestellen
Multi-Dimensional Modal Logic
Multi-Dimensional Modal Logic
Maarten Marx; Yde Venema
Springer Netherland, 1996, 239 S., 9780792343455

Bestellen
New Essays in Free Logic
New Essays in Free Logic
E. Morscher; A. Hieke (Hrsg.)
Springer Netherland, 2001, 255 S., 9781402002168
106,99 €

Bestellen
New Essays in Free Logic
New Essays in Free Logic
E. Morscher; A. Hieke (Hrsg.)
Springer Netherland, 2010, 255 S., 9789048159154
106,99 €

Bestellen
Proof Theory and Automated Deduction
Proof Theory and Automated Deduction
Jean Goubault-Larrecq; I. Mackie
Springer Netherland, 2001, 444 S., 9781402003684
53,49 €

Bestellen
Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
George Metcalfe; Nicola Olivetti; Dov M. Gabbay
Springer Netherland, 2008, 276 S., 9781402094088

Bestellen
Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
George Metcalfe; Nicola Olivetti; Dov M. Gabbay
Springer Netherland, 2010, 276 S., 9789048181216
128,39 €

Bestellen
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Heinrich Wansing (Hrsg.)
Springer Netherland, 2010, 318 S., 9789048147205
160,49 €

Bestellen
Proof Theory of Modal Logic
Proof Theory of Modal Logic
Heinrich Wansing (Hrsg.)
Springer Netherland, 1996, 318 S., 9780792341208
160,49 €

Bestellen
Reasoning Robots
Reasoning Robots
Michael Thielscher
Springer Netherland, 2005, 328 S., 9781402030680

Bestellen
Reasoning Robots
Reasoning Robots
Michael Thielscher
Springer Netherland, 2010, 328 S., 9789048167838

Bestellen
Rigid Flexibility
Rigid Flexibility
Pei Wang
Springer Netherland, 2006, 402 S., 9781402050442

Bestellen
Rigid Flexibility
Rigid Flexibility
Pei Wang
Springer Netherland, 2011, 402 S., 9789048172641
213,99 €

Bestellen
The Death of Argument
The Death of Argument
J.H. Woods
Springer Netherland, 2004, 378 S., 9781402026638

Bestellen
The Death of Argument
The Death of Argument
J.H. Woods
Springer Netherland, 2010, 378 S., 9789048167005
160,49 €

Bestellen
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
David J. Pym
Springer Netherland, 2002, 290 S., 9781402007453
160,49 €

Bestellen
The Semantics and Proof Theory of the Logic of Bunched Implications
The Semantics and Proof Theory of the Logic of Bunched Implications
David J. Pym
Springer Netherland, 2010, 290 S., 9789048160723
160,49 €

Bestellen
Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics
F.D. Kamareddine (Hrsg.)
Springer Netherland, 2010, 320 S., 9789048164400
106,99 €

Bestellen
Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics
F.D. Kamareddine (Hrsg.)
Springer Netherland, 2003, 320 S., 9781402016561
106,99 €

Bestellen
What is Negation?
What is Negation?
Dov M. Gabbay; Heinrich Wansing (Hrsg.)
Springer Netherland, 2010, 335 S., 9789048151691

Bestellen
What is Negation?
What is Negation?
Dov M. Gabbay; Heinrich Wansing (Hrsg.)
Springer Netherland, 1999, 335 S., 9780792355694

Bestellen
Frontiers of Combining Systems
Frontiers of Combining Systems
F. Baader; K.U. Schulz (Hrsg.)
Springer Netherland, 1996, 388 S., 9780792342717
93,08 €

Eingrenzungen
Verlag: Springer Netherland
Buchreihe: Applied Logic Series
Sprache: Englisch



Zur Werkliste
Eingrenzungen
Verlag: Springer Netherland
Buchreihe: Applied Logic Series
Sprache: Englisch