|
|
|
1. |
Algorithmic program debugging /
by Shapiro, Ehud Y.
Publication:
Cambridge, (Mass.) : The MIT Press, 1983
. XIV, 232 p. ;
, Thesis (Ph.D)-Yale University, 1982.
24 cm.
Date:1983
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Reasoning from incomplete knowledge in a procedural deduction system /
by Moore, Robert C.
Publication:
New York : Garland Pub., 1980
. 112 p. :
, Rev. version of the author's thesis (M.S.) Massachusetts Institute of Technology, 1975.
21 cm.
Date:1980
Availability:
No items available:
Checked out (1),
Actions:
|
|
