Filtre: Hardback

Applied Logic Series

Applied Logic Series, nr. 1

Autor Douglas Walton

31 aug 1996

Preț: 1222^.57 lei 1490^.93 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 2

Editat de Heinrich Wansing

31 oct 1996

Preț: 955^.89 lei 1165^.72 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 4

Autor Maarten Marx et al.

6 oct 2012

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

6-8 săpt.

-15%

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

Editat de Maarten de Rijke

30 sep 1997

Preț: 914^.35 lei 1115^.06 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%

Applied Logic Series, nr. 11/2

Autor Sven Ove Hansson

31 mar 1999

Preț: 954^.50 lei 1164^.02 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ț: 621^.80 lei 731^.52 lei

6-8 săpt.

-15%

Applied Logic Series, nr. 13

Editat de Dov M. Gabbay et al.

31 mar 1999

Preț: 1230^.22 lei 1500^.28 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ț: 961^.47 lei 1172^.53 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 913^.61 lei 1114^.15 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%

Applied Logic Series, nr. 19

Editat de Steffen Hölldobler

15 dec 2010

Preț: 954^.08 lei 1163^.51 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 | 4-10 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%

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

30 noi 2003

Preț: 623^.70 lei 733^.77 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ț: 1074^.51 lei 1310^.39 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. 31

Autor Ricardo Caferra et al.

5 dec 2010

Preț: 951^.85 lei 1160^.79 lei

6-8 săpt.

-18%

Applied Logic Series, nr. 33

Autor Michael Thielscher

22 oct 2010

Preț: 376^.72 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ț: 610^.94 lei 718^.76 lei

6-8 săpt.

-15%

Applied Logic Series

Fallacies Arising from Ambiguity

Proof Theory of Modal Logic

Multi-Dimensional Modal Logic

Logic, Language and Computation

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

Dynamic Worlds: From the Frame Problem to Knowledge Management

What is Negation?

Fuzzy Sets, Logics and Reasoning about Knowledge

Advances in Temporal Logic

Abduction and Induction

Intellectics and Computational Logic

Formal Aspects of Context

Goal-Directed Proof Theory

Frontiers in Belief Revision

New Essays in Free Logic

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: From its Origins until Today

Inference on the Low Level

Automated Model Building

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