Filtre:

Cărți de Alexander Leitsch

Automated Model Building

Autor Ricardo Caferra et al.

13 sep 2004

Preț: 956^.55 lei 1166^.53 lei

43-57 zile

-18%

First-Order Schemata and Inductive Proof Analysis

Computer Science Foundations and Applied Logic

Autor Alexander Leitsch et al.

3 ian 2026

Preț: 941^.20 lei 1238^.43 lei

38-44 zile

-24%

Methods of Cut-Elimination

Trends in Logic, nr. 34

Autor Matthias Baaz et al.

25 feb 2013

Preț: 643^.63 lei 757^.22 lei

43-57 zile

-15%

Computational Logic and Proof Theory

Editat de Georg Gottlob et al.

13 aug 1997

Preț: 380^.05 lei

43-57 zile

The Resolution Calculus

Texts in Theoretical Computer Science. An EATCS Series

Autor Alexander Leitsch

28 sep 2011

Preț: 373^.93 lei

43-57 zile