Applied Logic Series

Applied Logic Series, nr. 1

Autor Douglas Walton

31 aug 1996

Preț: 1072^.40 lei 1307^.80 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 2

Editat de Heinrich Wansing

31 oct 1996

Preț: 916^.31 lei 1117^.45 lei

6-8 săpt.

-18%

Frontiers of Combining Systems: First International Workshop, Munich, March 1996

Applied Logic Series, nr. 3

Editat de F. Baader et al.

21 apr 2014

Preț: 325^.31 lei 406^.63 lei

6-8 săpt.

-20%

Applied Logic Series, nr. 4

Autor Maarten Marx et al.

6 oct 2012

Preț: 614^.30 lei 722^.70 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 5

Editat de S. Akama

31 ian 1997

Preț: 620^.88 lei 730^.44 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 381^.72 lei

6-8 săpt.

Applied Logic Series, nr. 7

Editat de Maarten de Rijke

30 sep 1997

Preț: 915^.23 lei 1116^.14 lei

6-8 săpt.

-18%

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Applied Logic Series, nr. 10

Editat de Wolfgang Bibel et al.

30 iun 1998

Preț: 958^.46 lei 1198^.07 lei

6-8 săpt.

-20%

A Textbook of Belief Dynamics: Solutions to exercises

Applied Logic Series, nr. 11/2

Autor Sven Ove Hansson

31 mar 1999

Preț: 920^.86 lei 1123^.01 lei

6-8 săpt.

-18%

Dynamic Worlds: From the Frame Problem to Knowledge Management

Applied Logic Series, nr. 12

Editat de Remo Pareschi et al.

31 mar 1999

Preț: 622^.30 lei 732^.12 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 13

Editat de Dov M. Gabbay et al.

31 mar 1999

Preț: 1179^.13 lei 1437^.96 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 14

Editat de Michael Wooldridge et al.

31 mar 1999

Preț: 920^.09 lei 1122^.07 lei

6-8 săpt.

-18%

Fuzzy Sets, Logics and Reasoning about Knowledge

Applied Logic Series, nr. 15

Editat de Didier Dubois et al.

30 sep 1999

Preț: 921^.17 lei 1123^.37 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 923^.60 lei 1126^.35 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 615^.55 lei 724^.17 lei

6-8 săpt.

-15%

Abduction and Induction: Essays on their Relation and Integration

Applied Logic Series, nr. 18

Editat de P.A. Flach et al.

15 dec 2010

Preț: 909^.95 lei 1109^.69 lei

6-8 săpt.

-18%

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

Applied Logic Series, nr. 19

Editat de Steffen Hölldobler

15 dec 2010

Preț: 913^.56 lei 1114^.10 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 20

Editat de Pierre Bonzon et al.

9 dec 2010

Preț: 613^.05 lei 721^.23 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 21

Autor Dov M. Gabbay et al.

4 dec 2010

Preț: 615^.41 lei 724^.01 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 22

Editat de M. Williams et al.

30 iun 2001

Preț: 963^.88 lei 1204^.84 lei

6-8 săpt.

-20%

New Essays in Free Logic: In Honour of Karel Lambert

Applied Logic Series, nr. 23

Editat de E. Morscher et al.

31 dec 2001

Preț: 620^.88 lei 730^.44 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 24

Editat de D. Corfield et al.

31 dec 2001

Preț: 921^.02 lei 1123^.20 lei

6-8 săpt.

-18%

Logical and Computational Aspects of Model-Based Reasoning

Applied Logic Series, nr. 25

Editat de L. Magnani et al.

30 sep 2002

Preț: 624^.53 lei 734^.74 lei

6-8 săpt.

-15%

The Semantics and Proof Theory of the Logic of Bunched Implications

Applied Logic Series, nr. 26

Autor David J. Pym

31 iul 2002

Preț: 917^.08 lei 1118^.40 lei

6-8 săpt.

-18%

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Applied Logic Series, nr. 27

Autor Peter B. Andrews

9 dec 2010

Preț: 567^.39 lei 667^.52 lei

6-8 săpt.

-15%

Thirty Five Years of Automating Mathematics

Applied Logic Series, nr. 28

Editat de F.D. Kamareddine

30 noi 2003

Preț: 624^.21 lei 734^.37 lei

6-8 săpt.

-15%

A Modern Perspective on Type Theory: From its Origins until Today

Applied Logic Series, nr. 29

Autor F.D. Kamareddine et al.

9 iun 2004

Preț: 1075^.61 lei 1311^.72 lei

6-8 săpt.

-18%

Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

Applied Logic Series, nr. 30

Autor Hannes Leitgeb

13 aug 2004

Preț: 919^.80 lei 1121^.70 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 917^.51 lei 1118^.92 lei

6-8 săpt.

-18%

The Death of Argument: Fallacies in Agent Based Reasoning

Applied Logic Series, nr. 32

Autor J.H. Woods

3 noi 2004

Preț: 920^.57 lei 1122^.64 lei

6-8 săpt.

-18%

Reasoning Robots: The Art and Science of Programming Robotic Agents

Applied Logic Series, nr. 33

Autor Michael Thielscher

5 iul 2005

Preț: 383^.39 lei

6-8 săpt.

Rigid Flexibility: The Logic of Intelligence

Applied Logic Series, nr. 34

Autor Pei Wang

10 oct 2011

Preț: 1229^.87 lei 1537^.33 lei

6-8 săpt.

-20%

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

Applied Logic Series, nr. 35

Autor Walter Carnielli et al.

4 feb 2008

Preț: 929^.53 lei 1133^.58 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

16 dec 2008

Preț: 704^.67 lei 859^.35 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 37

Autor Torben Braüner

2 ian 2013

Preț: 613^.99 lei 722^.34 lei

6-8 săpt.

-15%

Applied Logic Series

Fallacies Arising from Ambiguity

Proof Theory of Modal Logic

Frontiers of Combining Systems: First International Workshop, Munich, March 1996

Multi-Dimensional Modal Logic

Logic, Language and Computation

Proof Theory and Automated Deduction

Advances in Intensional Logic

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

A Textbook of Belief Dynamics: Solutions to exercises

Dynamic Worlds: From the Frame Problem to Knowledge Management

What is Negation?

Foundations of Rational Agency

Fuzzy Sets, Logics and Reasoning about Knowledge

Advances in Temporal Logic

Labelled Deduction

Abduction and Induction: Essays on their Relation and Integration

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

Formal Aspects of Context

Goal-Directed Proof Theory

Frontiers in Belief Revision

New Essays in Free Logic: In Honour of Karel Lambert

Foundations of Bayesianism

Logical and Computational Aspects of Model-Based Reasoning

The Semantics and Proof Theory of the Logic of Bunched Implications

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Thirty Five Years of Automating Mathematics

A Modern Perspective on Type Theory: From its Origins until Today

Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition

Automated Model Building

The Death of Argument: Fallacies in Agent Based Reasoning

Reasoning Robots: The Art and Science of Programming Robotic Agents

Rigid Flexibility: The Logic of Intelligence

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

Proof Theory for Fuzzy Logics

Hybrid Logic and its Proof-Theory

Papetărie, jocuri, reviste

Applied Logic Series