A Resolution Principle for a Logic with Restricted Quantifiers - Lecture Notes in Computer Science - Hans-jurgen Burckert - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540550341 - 1991年12月11日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Hans-jurgen Burckert
A Resolution Principle for a Logic with Restricted Quantifiers - Lecture Notes in Computer Science 1991 edition

価格
¥ 10.331
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月20日 - 年9月7日
Hans-jurgen Burckert の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This monograph provides the formal basics of a scheme for predicate logic with restricted quantifiers taken as constraints. It gives the model theory and proof theory for this logic together with a sound and complete refutation calculus for constrained clauses.

120 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1991年12月11日
ISBN13 9783540550341
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 120
寸法 156 × 234 × 7 mm   ·   195 g
言語 英語  

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

Hans-jurgen Burckertのすべてを見る ( 例： Paperback Book )