Alexander Leitsch
3 published titles
The resolution calculus
1 edition
- ISBN: 3540618821
- Springer
- 1997
- Details
Computational logic and proof theory : 5th Kurt Gödel Colloqui[u]m, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540633855
- Springer
- 1997
- Details
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
(Contributor)
1 edition
- ISBN: 3540422544
- Springer
- 2001
- Details
