Non abbiamo ancora una biografia di Jörg H. Siekmann.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Automation of reasoning
1983
Mechanizing mathematical reasoning
2011
Künstliche Intelligenz
1982
Computational Logic
2014
8th International Conference on Automated Deduction
1986
Otium
