Newborn, Monty

Overview

Works:	3 works in 1 publications in 1 languages

Titles

Automated theorem proving by: Newborn, Monty (Language materials, printed)

Subjects