Steffen Hölldobler
2 published titles
Deduction : automated logic
(Contributor)
1 edition
- ISBN: 012095835X
- Academic
- 1993
- Details
Intellectics and computational logic : papers in honor of Wolfgang Bibel
(Contributor)
1 edition
- ISBN: 0792362616
- Kluwer Academic Publishers
- 2000
- Details
