Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic - Raatz - 書籍 - Birkhauser Boston Inc - 9780817635305 - 1990年12月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Raatz
Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic Softcover reprint of the original 1st ed. 1990 edition

価格
¥ 8.881
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

A large part of the monograph is devoted to detailed proofs that the methods we present are sound and complete, which in the context of the logic programming, means that the operational and denotational semantics agree.

160 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1990年12月1日
ISBN13 9780817635305
出版社 Birkhauser Boston Inc
ページ数 150
寸法 155 × 235 × 9 mm   ·   231 g
言語 英語  

Raatzの他の作品を見る

すべて表示

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