Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science - Maurizio Proietti - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540609391 - 1996年3月6日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Maurizio Proietti
Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr '95, Utrecht, the Netherlands, September 20-22, 1995. Proceedings - Lecture Notes in Computer Science

価格
NOK 569
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

These conference proceedings offer an up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Topics addressed include deductive and inductive program synthesis and synthesis models based on constructive type theory.

274 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1996年3月6日
ISBN13 9783540609391
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 274
寸法 156 × 234 × 15 mm   ·   399 g
言語 ドイツ語  
編集者 Proietti, Maurizio
すべて表示

Maurizio Proiettiの他の作品を見る

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