Resolution Methods for the Decision Problem - Lecture Notes in Computer Science - C. Fermuller - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540567325 - 1993年7月29日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

C. Fermuller
Resolution Methods for the Decision Problem - Lecture Notes in Computer Science 1993 edition

価格
¥ 8.915
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月19日 - 年7月1日

お客様の声：

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

This volume contains work on the decision problem done in Kazan (Russia), Tallinn (Estonia) and Vienna (Austria). Among the topics covered are: semantic clash resolution as decision procedure; completeness of ordering refinements; and a resolution based method for building finite models.

248 pages, biography

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

Mere med samme udgiver

C. Fermullerのすべてを見る ( 例： Paperback Book )