Browse

Genres Shelves Premium Blog

Company

About Jobs Partners Sell on Lex Affiliates

Resources

Docs Invite Friends FAQ

Legal

Terms of Service Privacy Policy general@lex-books.com (215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Home Genres Deals

Manfred Kerber — Author | Lex | Lex

M

Manfred Kerber

3 works on record

Works

Computational Logic CL 2000 00

Computational Logic CL 2000 00

Towards Mechanized Mathematical Assistants

Towards Mechanized Mathematical Assistants

Intelligent Computer Mathematics

Intelligent Computer Mathematics

Author data from Open Library.