Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Alexander Leitsch | lit.salon

Author

Alexander Leitsch

Born 1952

3 works

1993–2004 across 3 dated works

No biography is available yet.

Start with

Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings1993
With Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob
The resolution calculus1997
Automated Model Building (Applied Logic Series)2004
With Ricardo Caferra, Nicolas Peltier

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Automated Model Building (Applied Logic Series)2004
With Ricardo Caferra, Nicolas Peltier
2 editions
shelves
0
reviews
0
lists
0
quotes
0
The resolution calculus1997
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Computational logic and proof theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings1993
With Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), Georg Gottlob
2 editions
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Alexander Leitsch.

The conversation is still open.

There is no public salon activity to show for Alexander Leitsch yet.