Filtre: Springer Netherland

Applied Logic Series

Applied Logic Series, nr. 5

Editat de S. Akama

9 oct 2012

Preț: 614^.41 lei 722^.83 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 400^.17 lei

6-8 săpt.

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%

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

6-8 săpt.

-20%

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

6-8 săpt.

-15%

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%

Applied Logic Series, nr. 20

Editat de Pierre Bonzon et al.

31 iul 2000

Preț: 613^.55 lei 766^.94 lei

17-23 zile | 5-11 zile

-20%

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

Editat de M. Williams et al.

15 dec 2010

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

6-8 săpt.

-20%

Applied Logic Series, nr. 23

Editat de E. Morscher et al.

31 dec 2001

Preț: 617^.46 lei 726^.42 lei

6-8 săpt.

-15%

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%

The Semantics and Proof Theory of the Logic of Bunched Implications

Applied Logic Series, nr. 26

Autor David J. Pym

31 iul 2002

Preț: 907^.61 lei 1106^.85 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%

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

Autor Hannes Leitgeb

15 dec 2010

Preț: 905^.04 lei 1103^.71 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. 33

Autor Michael Thielscher

22 oct 2010

Preț: 395^.19 lei

6-8 săpt.

Rigid Flexibility: The Logic of Intelligence

Applied Logic Series, nr. 34

Autor Pei Wang

10 oct 2011

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

6-8 săpt.

-20%

Applied Logic Series, nr. 36

Autor George Metcalfe et al.

22 oct 2010

Preț: 729^.55 lei 889^.70 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 37

Autor Torben Braüner

2 ian 2013

Preț: 641^.11 lei 754^.26 lei

6-8 săpt.

-15%

Applied Logic Series

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

Dynamic Worlds: From the Frame Problem to Knowledge Management

Abduction and Induction

Formal Aspects of Context

Goal-Directed Proof Theory

Frontiers in Belief Revision

New Essays in Free Logic

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

Thirty Five Years of Automating Mathematics

A Modern Perspective on Type Theory

Inference on the Low Level

The Death of Argument

Reasoning Robots

Rigid Flexibility: The Logic of Intelligence

Proof Theory for Fuzzy Logics

Hybrid Logic and its Proof-Theory

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