Filtre: Engleză

Applied Logic Series

Applied Logic Series, nr. 1

Autor Douglas Walton

31 aug 1996

Preț: 1170^.76 lei 1427^.76 lei

43-57 zile

-18%

Applied Logic Series, nr. 2

Editat de Heinrich Wansing

31 oct 1996

Preț: 915^.43 lei 1116^.37 lei

43-57 zile

-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^.15 lei 406^.44 lei

43-57 zile

-20%

Applied Logic Series, nr. 4

Autor Maarten Marx et al.

6 oct 2012

Preț: 613^.80 lei 722^.11 lei

43-57 zile

-15%

Applied Logic Series, nr. 5

Editat de S. Akama

31 ian 1997

Preț: 620^.38 lei 729^.86 lei

43-57 zile

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 381^.55 lei

43-57 zile

Applied Logic Series, nr. 7

Editat de Maarten de Rijke

30 sep 1997

Preț: 914^.35 lei 1115^.06 lei

43-57 zile

-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ț: 957^.51 lei 1196^.89 lei

43-57 zile

-20%

A Textbook of Belief Dynamics: Solutions to exercises

Applied Logic Series, nr. 11/2

Autor Sven Ove Hansson

31 mar 1999

Preț: 919^.98 lei 1121^.92 lei

43-57 zile

-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ț: 621^.80 lei 731^.52 lei

43-57 zile

-15%

Applied Logic Series, nr. 13

Editat de Dov M. Gabbay et al.

31 mar 1999

Preț: 1177^.92 lei 1436^.50 lei

43-57 zile

-18%

Applied Logic Series, nr. 14

Editat de Michael Wooldridge et al.

9 dec 2010

Preț: 908^.61 lei 1108^.06 lei

43-57 zile

-18%

Fuzzy Sets, Logics and Reasoning about Knowledge

Applied Logic Series, nr. 15

Editat de Didier Dubois et al.

30 sep 1999

Preț: 920^.28 lei 1122^.29 lei

43-57 zile

-18%

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 922^.72 lei 1125^.26 lei

43-57 zile

-18%

Applied Logic Series, nr. 17

Editat de David Basin et al.

8 oct 2012

Preț: 615^.05 lei 723^.59 lei

43-57 zile

-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^.08 lei 1108^.63 lei

43-57 zile

-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ț: 912^.69 lei 1113^.03 lei

43-57 zile

-18%

Applied Logic Series, nr. 20

Editat de Pierre Bonzon et al.

9 dec 2010

Preț: 612^.55 lei 720^.65 lei

43-57 zile

-15%

Applied Logic Series, nr. 21

Autor Dov M. Gabbay et al.

4 dec 2010

Preț: 614^.90 lei 723^.41 lei

43-57 zile

-15%

Applied Logic Series, nr. 22

Editat de M. Williams et al.

30 iun 2001

Preț: 962^.94 lei 1203^.67 lei

43-57 zile

-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^.38 lei 729^.86 lei

43-57 zile

-15%

Applied Logic Series, nr. 24

Editat de D. Corfield et al.

31 dec 2001

Preț: 920^.13 lei 1122^.12 lei

43-57 zile

-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^.01 lei 734^.13 lei

43-57 zile

-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ț: 916^.19 lei 1117^.31 lei

43-57 zile

-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ț: 566^.94 lei 666^.99 lei

43-57 zile

-15%

Thirty Five Years of Automating Mathematics

Applied Logic Series, nr. 28

Editat de F.D. Kamareddine

30 noi 2003

Preț: 623^.70 lei 733^.77 lei

43-57 zile

-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ț: 1074^.51 lei 1310^.39 lei

43-57 zile

-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ț: 918^.90 lei 1120^.61 lei

43-57 zile

-18%

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 916^.64 lei 1117^.85 lei

43-57 zile

-18%

The Death of Argument: Fallacies in Agent Based Reasoning

Applied Logic Series, nr. 32

Autor J.H. Woods

3 noi 2004

Preț: 919^.67 lei 1121^.54 lei

43-57 zile

-18%

Reasoning Robots: The Art and Science of Programming Robotic Agents

Applied Logic Series, nr. 33

Autor Michael Thielscher

5 iul 2005

Preț: 383^.23 lei

43-57 zile

Rigid Flexibility: The Logic of Intelligence

Applied Logic Series, nr. 34

Autor Pei Wang

10 oct 2011

Preț: 1228^.59 lei 1535^.74 lei

43-57 zile

-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ț: 928^.63 lei 1132^.47 lei

43-57 zile

-18%

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

22 oct 2010

Preț: 698^.15 lei 851^.39 lei

43-57 zile

-18%

Applied Logic Series, nr. 37

Autor Torben Braüner

2 ian 2013

Preț: 613^.49 lei 721^.74 lei

43-57 zile

-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