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
1992
ISBN-10
0-8186-2812-X
Conference proceedings
ICCI
Experts has a new look! Let us know what you think of the updates.
Provide feedback