Alexander Leitsch

3 books

Methods of Cut-Elimination by Alexander Leitsch, Matthias Baaz

Methods of Cut-Elimination

Trends in Logic

Alexander Leitsch, Matthias Baaz

290 pages • missing pub info (editions)

nonfiction computer science mathematics informative medium-paced
Automated Model Building by Ricardo Caferra
Automated Model Building
—
Ricardo Caferra

Automated Model Building

Ricardo Caferra

341 pages • first pub 2004 (editions)

The Resolution Calculus by Alexander Leitsch

The Resolution Calculus

Texts in Theoretical Computer Science. an Eatcs

Alexander Leitsch

300 pages • missing pub info (editions)

nonfiction computer science mathematics
More...