001.535 / L497
Lecture notes in artifcial intelliegence : Automated deduction -- cade-11 / .- ( Lecture Notes In Artificial Intelligence
ISBN: 3540556028
Subject Headings:
Artificial Intelligence;
Author Added Entry:
Kapur, Deepak [ed.];
Copy Details:
Acc. No.: A114108, Full Call No.: 001.535 L497, (v.607) Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Lecture notes in artifcial intelliegence : Automated deduction -- cade-11 / .- ( Lecture Notes In Artificial Intelligence
ISBN: 3540556028
Subject Headings:
Artificial Intelligence;
Author Added Entry:
Kapur, Deepak [ed.];
Copy Details:
Acc. No.: A114108, Full Call No.: 001.535 L497, (v.607) Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------