Applied Logic Series

Filtre: Hardback

Applied Logic Series

Applied Logic Series, nr. 1

Autor Douglas Walton

31 aug 1996

Preț: 1256^.05 lei 1531^.78 lei

43-57 zile

-18%

Autor Torben Braüner

30 noi 2010

Preț: 636^.45 lei 748^.76 lei

43-57 zile

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

Editat de Wolfgang Bibel et al.

30 iun 1998

Preț: 1027^.22 lei 1284^.03 lei

43-57 zile

-20%

Applied Logic Series, nr. 18

Editat de P. A. Flach et al.

30 apr 2000

Preț: 981^.93 lei 1197^.47 lei

43-57 zile

-18%

Applied Logic Series, nr. 12

Editat de Remo Pareschi et al.

31 mar 1999

Preț: 666^.40 lei 784^.00 lei

43-57 zile

-15%

Editat de Michael Wooldridge et al.

31 mar 1999

Preț: 991^.98 lei 1209^.73 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ț: 987^.42 lei 1204^.17 lei

43-57 zile

-18%

Editat de M. Williams et al.

30 iun 2001

Preț: 1034^.21 lei 1292^.76 lei

43-57 zile

-20%

Applied Logic Series, nr. 29

Autor F. D. Kamareddine et al.

9 iun 2004

Preț: 1158^.76 lei 1413^.12 lei

43-57 zile

-18%

Autor Michael Thielscher

5 iul 2005

Preț: 395^.48 lei

43-57 zile

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

43-57 zile

-18%

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

43-57 zile

-15%

Applied Logic Series, nr. 11/1

Autor Sven Ove Hansson

31 mar 1999

Preț: 989^.72 lei 1206^.97 lei

43-57 zile

-18%

Applied Logic Series, nr. 16

Editat de Howard Barringer et al.

31 dec 1999

Preț: 988^.90 lei 1205^.97 lei

43-57 zile

-18%

Editat de D. Corfield et al.

31 dec 2001

Preț: 992^.99 lei 1210^.97 lei

43-57 zile

-18%

Autor Hannes Leitgeb

13 aug 2004

Preț: 991^.65 lei 1209^.33 lei

43-57 zile

-18%

An Introduction to Mathematical Logic and Type Theory

Applied Logic Series, nr. 27

Autor Peter B. Andrews

31 iul 2002

Preț: 822^.98 lei 1003^.63 lei

43-57 zile

-18%

Applied Logic Series, nr. 7

Editat de Maarten De Rijke

30 sep 1997

Preț: 980^.66 lei 1195^.94 lei

43-57 zile

-18%

Applied Logic Series, nr. 13

Editat de Dov M. Gabbay et al.

31 mar 1999

Preț: 1263^.97 lei 1541^.42 lei

43-57 zile

-18%

Applied Logic Series, nr. 23

Editat de E. Morscher et al.

31 dec 2001

Preț: 664^.69 lei 781^.98 lei

43-57 zile

-15%

Applied Logic Series, nr. 19

Editat de Steffen Hölldobler

30 apr 2000

Preț: 985^.52 lei 1201^.85 lei

43-57 zile

-18%

Applied Logic Series, nr. 2

Editat de Heinrich Wansing

31 oct 1996

Preț: 986^.75 lei 1203^.35 lei

43-57 zile

-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 | 6-12 zile

-20%

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 989^.21 lei 1206^.35 lei

43-57 zile

-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

Dynamic Worlds

Foundations of Rational Agency

Fuzzy Sets, Logics and Reasoning about Knowledge

Frontiers in Belief Revision

A Modern Perspective on Type Theory

Reasoning Robots

The Semantics and Proof Theory of the Logic of Bunched Implications

Thirty Five Years of Automating Mathematics

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

Advances in Intensional Logic

What is Negation?

New Essays in Free Logic

Intellectics and Computational Logic

Proof Theory of Modal Logic

Formal Aspects of Context

Automated Model Building

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