AboutSign inJoin

Manfred Kerber

About

Some information is missing for this author.

Books

Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
Manfred Kerber, Robert Miner, Manuel Kauers, Wolfgang Windsteiger
Intelligent Computer Mathematics
Intelligent Computer Mathematics
Volker Sorge, Manfred Kerber, Florian Rabe, Jacques Carette, Cezary Kaliszyk
Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
Manfred Kerber, Robert Miner, Manuel Kauers, Wolfgang Windsteiger
Manfred Kerber, Colin Rowat, Naoki Yoshihara
Asymmetric Majority Pillage Games
Asymmetric Majority Pillage Games
Manfred Kerber, Colin Rowat, Naoki Yoshihara
Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated Reasoning
Michael Kohlhase, Manfred Kerber
Computational Logic — CL 2000
Computational Logic — CL 2000
John Lloyd, Kung-Kiu Lau, Ulrich Furbach, Peter J. Stuckey, Veronica Dahl, Manfred Kerber, Catuscia Palamidessi, Luis M. Pereira, Yehoshua Sagiv

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian