Newborn, Monroe

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Automated theorem proving : theory and practice by: Newborn, Monroe (Language materials, printed)

Subjects