請求メモ

お困りの場合は、カウンターまで
お越しください。

配架場所	1F書庫3-洋書
請求記号	007.1/W 37
資料番号	002062737
状態

A many-sorted calculus based on resolution and paramodulation / Christoph Walther. - London : Pitman , 1987. - (Research notes in artificial intelligence)

: Pitman

2024/09/07 15:14:51