Wos, Larry

Overview

Works:	3 works in 2 publications in 1 languages

Titles

Automated resoning : introduction and applications by: Wos, Larry (Language materials, printed)

Automated reasoning by: Wos, Larry (Language materials, printed)

Subjects

001.535