Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Dieter Hofbauer | lit.salon

Author

Dieter Hofbauer

4 works

1989–2012 across 3 dated works

No biography is available yet.

Start with

Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker1989
With Ralf-Detlef Kutsche
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker1991
With Ralf-Detlef Kutsche
Grundlagen Des Maschinellen Beweisens Eine Einfuhrung Fur Informatiker Und Mathematiker2012

Books

4 works

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

Search booksSort books

Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker1989
With Ralf-Detlef Kutsche
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker1991
With Ralf-Detlef Kutsche
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Grundlagen Des Maschinellen Beweisens Eine Einfuhrung Fur Informatiker Und Mathematiker2012
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Termination proofs and derivation lengths in term rewriting systems1991
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 Dieter Hofbauer.

The conversation is still open.

There is no public salon activity to show for Dieter Hofbauer yet.