Cărți de Alexander Leitsch

Methods of Cut-Elimination

Trends in Logic, nr. 34

Autor Matthias Baaz et al.

25 feb 2013

Preț: 640^.37 lei 753^.39 lei

6-8 săpt.

-15%

The Resolution Calculus

Texts in Theoretical Computer Science. An EATCS Series

Autor Alexander Leitsch

28 sep 2011

Preț: 389^.31 lei

6-8 săpt.

Automated Model Building

Applied Logic Series, nr. 31

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 953^.65 lei 1162^.99 lei

6-8 săpt.

-18%

Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Lecture Notes in Computer Science, nr. 2083

Editat de Rajeev Gore et al.

6 iun 2001

Preț: 666^.73 lei 833^.42 lei

6-8 săpt.

-20%

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1289

Editat de Georg Gottlob et al.

13 aug 1997

Preț: 391^.99 lei

6-8 săpt.