Home
Scholarly Works
A Self-Guided Theorem Proving System.
Conference
A Self-Guided Theorem Proving System.
Authors
Lee S-J
Editors
Koczkodaj WW; Lauer PE; Toptsis AA
Pagination
pp. 329-333
Publisher
IEEE Computer Society
Publication Date
January 1, 1992
ISBN-10
0-8186-2812-X
Conference proceedings
ICCI
Associated Experts
Peter Ernst Lauer
Professor Emeritus, Faculty of Engineering
Visit profile
View published work (Non-McMaster Users)
Contact the Experts team
Get technical help
or
Provide website feedback