Loading...

check nearby libraries

8th International Conference on Automated Deduction1986

Oxford, England, July 27- August 1, 1986. Proceedings (Lecture Notes in Computer Science)

by Jörg H. Siekmann

No description found.

1 edition at OpenLibrary

top conversations

Loading...