Toggle navigation
Home
People
Departments
Research
About
Login
Search
A Self-Guided Theorem Proving System.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lauer, Peter Ernst
Lee, Shie-Jue
publication date
1992
published in
ICCI
Journal
Identity
International Standard Book Number (ISBN) 10
0-8186-2812-X
Additional Document Info
start page
329
end page
333