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

Andrei Voronkov
Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - Proceedings - Lecture Notes in Computer Science

価格
¥ 8.769
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.

516 pages, biography

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

Andrei Voronkovの他の作品を見る

すべて表示

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