001.535 / L497
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE : RESOLUTION PRINCIPAL FOR A LOGIC WITH RESTRICTED QUANTIFIERS ;V.568
/ PROCEEDING...
.- Springer-Verlag, Berlin, c1991
.- x,116.
ISBN: 34540550348
Copy Details:
Acc. No.: A113103, Full Call No.: 001.535 L497, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------