Journal of automated reasoning
Publisher: D. Reidel Pub. Co.
Published: 1985
Place of publication: Dordrecht, Holland; Boston
Language: eng
Subjects: Automatic theorem proving; Periodicals; Artificial intelligence