Lecture notes in artificial intelligence
1.535 / L497
Lecture notes in artificial intelligence : Computational Aspects of an Order-Sorted Logic with Term Declarations ;v.395 / .- , .- viii .
V.395
ISBN: 3540517057
Copy Details:
Acc. No.: A107004, Full Call No.: 001.535 L497, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Lecture notes in artificial intelligence : Computational Aspects of an Order-Sorted Logic with Term Declarations ;v.395 / .- , .- viii .
V.395
ISBN: 3540517057
Copy Details:
Acc. No.: A107004, Full Call No.: 001.535 L497, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------