Applied Logic Series

Applied Logic Series, nr. 1

Autor Douglas Walton

31 aug 1996

Preț: 1114^.65 lei 1359^.33 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 2

Editat de Heinrich Wansing

31 oct 1996

Preț: 952^.40 lei 1161^.47 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ț: 338^.03 lei 422^.53 lei

6-8 săpt.

-20%

Applied Logic Series, nr. 4

Autor Maarten Marx et al.

6 oct 2012

Preț: 638^.43 lei 751^.10 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 5

Editat de S. Akama

31 ian 1997

Preț: 645^.28 lei 759^.15 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 396^.62 lei

6-8 săpt.

Applied Logic Series, nr. 7

Editat de Maarten de Rijke

30 sep 1997

Preț: 951^.29 lei 1160^.10 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ț: 996^.22 lei 1245^.28 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ț: 957^.13 lei 1167^.23 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ț: 646^.75 lei 760^.88 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 13

Editat de Dov M. Gabbay et al.

31 mar 1999

Preț: 1225^.62 lei 1494^.66 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 14

Editat de Michael Wooldridge et al.

31 mar 1999

Preț: 956^.33 lei 1166^.26 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ț: 957^.44 lei 1167^.61 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 959^.98 lei 1170^.71 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 639^.73 lei 752^.63 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ț: 945^.79 lei 1153^.39 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ț: 949^.55 lei 1157^.98 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 20

Editat de Pierre Bonzon et al.

9 dec 2010

Preț: 637^.13 lei 749^.56 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 21

Autor Dov M. Gabbay et al.

4 dec 2010

Preț: 639^.59 lei 752^.45 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 22

Editat de M. Williams et al.

30 iun 2001

Preț: 1001^.86 lei 1252^.32 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ț: 645^.28 lei 759^.15 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 24

Editat de D. Corfield et al.

31 dec 2001

Preț: 957^.32 lei 1167^.45 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ț: 649^.06 lei 763^.60 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ț: 953^.20 lei 1162^.43 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ț: 589^.65 lei 693^.70 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ț: 648^.74 lei 763^.22 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ț: 1117^.99 lei 1363^.40 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ț: 956^.03 lei 1165^.88 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 953^.65 lei 1162^.99 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ț: 956^.81 lei 1166^.84 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ț: 398^.35 lei

6-8 săpt.

Rigid Flexibility: The Logic of Intelligence

Applied Logic Series, nr. 34

Autor Pei Wang

10 oct 2011

Preț: 1278^.35 lei 1597^.94 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ț: 966^.15 lei 1178^.23 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

16 dec 2008

Preț: 732^.40 lei 893^.16 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 37

Autor Torben Braüner

2 ian 2013

Preț: 638^.11 lei 750^.72 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