Author

Manfred Kerber

3 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

3 books

Computational Logic CL 2000 00

Computational Logic CL 2000 00

Year unknown John Lloyd - undifferentiated, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Lus Moniz Pereira, Yehoshua Sagiv, and Peter J. Stuckey

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Year unknown Catherine Dubois and Manfred Kerber

Towards Mechanized Mathematical A...

Towards Mechanized Mathematical Assistants

Year unknown Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger

Fetched from OpenLibrary. Some translations may appear as separate works.