Filtre: Springer Netherland

Applied Logic Series

Applied Logic Series, nr. 6

Autor Jean Goubault-Larrecq et al.

30 noi 2001

Preț: 400^.17 lei

6-8 săpt.

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ț: 1027^.22 lei 1284^.03 lei

6-8 săpt.

-20%

Applied Logic Series, nr. 12

Editat de Remo Pareschi et al.

31 mar 1999

Preț: 666^.40 lei 784^.00 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ț: 639^.45 lei 799^.31 lei

17-23 zile | 4-10 zile

-20%

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ț: 664^.69 lei 781^.98 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ț: 982^.36 lei 1198^.00 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

30 noi 2003

Preț: 668^.38 lei 786^.32 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 29

Autor F. D. Kamareddine et al.

9 iun 2004

Preț: 1158^.76 lei 1413^.12 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. 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. 37

Autor Torben Braüner

2 ian 2013

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

6-8 săpt.

-15%

Applied Logic Series

Proof Theory and Automated Deduction

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

Dynamic Worlds

Abduction and Induction

Formal Aspects of Context

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

Reasoning Robots

Rigid Flexibility: The Logic of Intelligence

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