Applied Logic Series

Applied Logic Series, nr. 1

Autor Douglas Walton

31 aug 1996

Preț: 1095^.84 lei 1336^.39 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 2

Editat de Heinrich Wansing

31 oct 1996

Preț: 936^.33 lei 1141^.86 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ț: 332^.37 lei 415^.45 lei

6-8 săpt.

-20%

Applied Logic Series, nr. 4

Autor Maarten Marx et al.

6 oct 2012

Preț: 627^.68 lei 738^.44 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 5

Editat de S. Akama

31 ian 1997

Preț: 634^.42 lei 746^.37 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 389^.98 lei

6-8 săpt.

Applied Logic Series, nr. 7

Editat de Maarten de Rijke

30 sep 1997

Preț: 935^.24 lei 1140^.53 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ț: 979^.42 lei 1224^.27 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ț: 940^.99 lei 1147^.55 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ț: 635^.86 lei 748^.07 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 13

Editat de Dov M. Gabbay et al.

31 mar 1999

Preț: 1204^.93 lei 1469^.42 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 14

Editat de Michael Wooldridge et al.

31 mar 1999

Preț: 940^.20 lei 1146^.59 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ț: 941^.29 lei 1147^.92 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 943^.79 lei 1150^.97 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 628^.95 lei 739^.95 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ț: 929^.84 lei 1133^.95 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ț: 933^.53 lei 1138^.45 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 20

Editat de Pierre Bonzon et al.

9 dec 2010

Preț: 626^.41 lei 736^.95 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 21

Autor Dov M. Gabbay et al.

4 dec 2010

Preț: 628^.82 lei 739^.79 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 22

Editat de M. Williams et al.

30 iun 2001

Preț: 984^.96 lei 1231^.20 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ț: 634^.42 lei 746^.37 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 24

Editat de D. Corfield et al.

31 dec 2001

Preț: 941^.15 lei 1147^.74 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ț: 638^.14 lei 750^.75 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ț: 937^.13 lei 1142^.84 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ț: 579^.74 lei 682^.04 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ț: 637^.81 lei 750^.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ț: 1099^.13 lei 1340^.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ț: 939^.89 lei 1146^.20 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 937^.56 lei 1143^.37 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ț: 940^.68 lei 1147^.18 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ț: 391^.69 lei

6-8 săpt.

Rigid Flexibility: The Logic of Intelligence

Applied Logic Series, nr. 34

Autor Pei Wang

10 oct 2011

Preț: 1256^.78 lei 1570^.97 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ț: 949^.85 lei 1158^.35 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

16 dec 2008

Preț: 720^.06 lei 878^.12 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 37

Autor Torben Braüner

2 ian 2013

Preț: 627^.35 lei 738^.07 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