Computational Aspects of an Order-sorted Logic with Term Declarations - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence - Manfred Schmidt-schaus - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540517054 - 1989年9月20日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Computational Aspects of an Order-sorted Logic with Term Declarations - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence 1989 edition

価格
¥ 6.418
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月3日 - 年8月13日
Manfred Schmidt-schaus の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

174 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1989年9月20日
ISBN13 9783540517054
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 174
寸法 155 × 235 × 9 mm   ·   267 g
言語 英語  

同じ出版社からのその他の記事