Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540569442 - 1993年6月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Andrei Voronkov
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science

価格
¥ 8.786
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月9日 - 2026年1月21日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.

408 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1993年6月29日
ISBN13 9783540569442
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 408
寸法 155 × 233 × 21 mm   ·   576 g
言語 ドイツ語  
編集者 Voronkov, Andrei

Andrei Voronkovの他の作品を見る

すべて表示

Andrei Voronkovのすべてを見る ( 例： Paperback Book および Hardcover Book )