Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Harald Ganzinger | lit.salon

Author

Harald Ganzinger

4 works

1992–2007 across 4 dated works

No biography is available yet.

Start with

Informatik Festschrift zum 60. Geburtstag von Günter Hotz1992
With Johannes Buchmann, Wolfgang J. Paul
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science)1999
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)1999
With David McAllester, Andrei Voronkov
ESOP '882007

Books

4 works

Featured (4)Featured (4)All (4)All (4)

Search booksSort books

Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings (Lecture Notes in Computer Science)1999
With David McAllester, Andrei Voronkov
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science)1999
2 editions
shelves
0
reviews
0
lists
0
quotes
0
ESOP '882007
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Informatik Festschrift zum 60. Geburtstag von Günter Hotz1992
With Johannes Buchmann, Wolfgang J. Paul
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Harald Ganzinger.

The conversation is still open.

There is no public salon activity to show for Harald Ganzinger yet.