From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 1987年8月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

D. Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science 1987 edition

価格
¥ 10.734
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月10日 - 年8月26日
D. Snyers の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.

125 pages, biography

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

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

D. Snyersのすべてを見る ( 例： Paperback Book )