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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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),
------------------------- --------------------- ------ --------- ------- ------- --------- --------