001.535 / Au82
Siekmann, Jorg
AUTOMATION OF REASONING
/ CLASSICAL PAPERS ON COMPUTATIONAL LOGIC 1957-1970
.- Berlin: Springer-Verlag, 1983
.- ( Symbolic Computation
Subject Headings:
Artificial Intelligence;
Cybernetics;
Reasoning -- Data Processing;
Author Added Entry:
Wrightson, Graham;
Copy Details:
Acc. No.: A88785, Full Call No.: 001.535 Au82, (v.1) Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------