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.: A79628, Full Call No.: 001.535 Au82, (v.1) Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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.: A79628, Full Call No.: 001.535 Au82, (v.1) Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------