Applied Logic Series

Filtre: Engleză

Applied Logic Series

Applied Logic Series, nr. 1

Autor Douglas Walton

7 dec 2010

Preț: 1154^.47 lei 1407^.88 lei

6-8 săpt.

-18%

Autor Torben Braüner

30 noi 2010

Preț: 618^.78 lei 727^.98 lei

6-8 săpt.

-15%

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. 9

Editat de Wolfgang Bibel et al.

6 dec 2010

Preț: 1166^.33 lei 1422^.35 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 18

Editat de P. A. Flach et al.

15 dec 2010

Preț: 904^.27 lei 1102^.77 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ț: 616^.82 lei 725^.66 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 12

Editat de Remo Pareschi et al.

15 dec 2010

Preț: 610^.98 lei 718^.79 lei

6-8 săpt.

-15%

Editat de Michael Wooldridge et al.

31 mar 1999

Preț: 913^.96 lei 1114^.58 lei

6-8 săpt.

-18%

Fuzzy Sets, Logics and Reasoning about Knowledge

Applied Logic Series, nr. 15

Editat de Didier Dubois et al.

9 dec 2010

Preț: 906^.99 lei 1106^.08 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 22

Editat de M. Williams et al.

15 dec 2010

Preț: 949^.14 lei 1186^.42 lei

6-8 săpt.

-20%

The Semantics and Proof Theory of the Logic of Bunched Implications

Applied Logic Series, nr. 26

Autor David J. Pym

4 dec 2010

Preț: 902^.16 lei 1100^.20 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 11/1

Autor Sven Ove Hansson

5 dec 2010

Preț: 908^.90 lei 1108^.41 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

8 dec 2010

Preț: 908^.31 lei 1107^.70 lei

6-8 săpt.

-18%

Editat de D. Corfield et al.

31 dec 2001

Preț: 914^.90 lei 1115^.73 lei

6-8 săpt.

-18%

Autor Hannes Leitgeb

13 aug 2004

Preț: 916^.72 lei 1117^.95 lei

6-8 săpt.

-18%

An Introduction to Mathematical Logic and Type Theory

Applied Logic Series, nr. 27

Autor Peter B. Andrews

9 dec 2010

Preț: 565^.31 lei 665^.07 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 13

Editat de Dov M. Gabbay et al.

15 dec 2010

Preț: 1161^.49 lei 1416^.46 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 23

Editat de E. Morscher et al.

9 dec 2010

Preț: 611^.78 lei 719^.74 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 19

Editat de Steffen Hölldobler

15 dec 2010

Preț: 905^.23 lei 1103^.94 lei

6-8 săpt.

-18%

Thirty Five Years of Automating Mathematics

Applied Logic Series, nr. 28

Editat de F. D. Kamareddine

22 oct 2010

Preț: 615^.40 lei 724^.00 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 29

Autor F. D. Kamareddine et al.

22 oct 2010

Preț: 752^.69 lei 917^.91 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 21

Autor Dov M. Gabbay et al.

4 dec 2010

Preț: 612^.76 lei 720^.90 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 35

Autor Walter Carnielli et al.

22 noi 2010

Preț: 915^.65 lei 1116^.65 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 2

Editat de Heinrich Wansing

9 dec 2010

Preț: 901^.75 lei 1099^.70 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 20

Editat de Pierre Bonzon et al.

9 dec 2010

Preț: 610^.16 lei 717^.83 lei

6-8 săpt.

-15%

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 911^.40 lei 1111^.47 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 32

Autor J. H. Woods

15 dec 2010

Preț: 905^.44 lei 1104^.19 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

22 oct 2010

Preț: 695^.18 lei 847^.78 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 7

Editat de Maarten De Rijke

6 dec 2010

Preț: 900^.61 lei 1098^.30 lei

6-8 săpt.

-18%

Applied Logic Series

Fallacies Arising from Ambiguity

Hybrid Logic and Its Proof-Theory

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

Abduction and Induction

Logical and Computational Aspects of Model-Based Reasoning

Dynamic Worlds

Foundations of Rational Agency

Fuzzy Sets, Logics and Reasoning about Knowledge

Frontiers in Belief Revision

The Semantics and Proof Theory of the Logic of Bunched Implications

A Textbook of Belief Dynamics

Advances in Temporal Logic

Foundations of Bayesianism

Inference on the Low Level

An Introduction to Mathematical Logic and Type Theory

What is Negation?

New Essays in Free Logic

Intellectics and Computational Logic

Thirty Five Years of Automating Mathematics

A Modern Perspective on Type Theory

Goal-Directed Proof Theory

Analysis and Synthesis of Logics

Proof Theory of Modal Logic

Formal Aspects of Context

Automated Model Building

The Death of Argument

Proof Theory for Fuzzy Logics

Advances in Intensional Logic

Ficțiune

Business

Medicină

Lifestyle

Copii și adolescenți

Biografii

Artă, arhitectură şi design

Calculatoare și IT

Științe

Tehnologie și inginerie

Papetărie, jocuri, reviste