Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies
Gabbay D.M., Hogger C.J., Robinson J.A. (eds.)カテゴリー:
年:
1994
出版社:
Clarendon Press
言語:
english
ページ:
528
ISBN 10:
0198537468
ISBN 13:
9780198537465
ファイル:
DJVU, 4.17 MB
IPFS:
,
english, 1994