J. Siekmann — Books & Biography | Menrva Books | MenrvaBooks

J. Siekmann

Stand Alone

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Automation of Reasoning 2: Classical Papers on Computational Logic 1967–1970

Automation of Reasoning Classical Papers on Computational Logic 1957–1966

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.

J. Siekmann — Books & Biography | Menrva Books | MenrvaBooks