|
From Logic Design to Logic Programming 1987th ed.(Lecture Notes in Computer Science Vol.271) P iv, 125 p. 87
Snyers, Dominique,
Thayse, Andre
著
発行年月 |
1987年08月 |
|---|
|
出版国 |
ドイツ |
|---|
言語 |
英語 |
|---|
媒体 |
冊子 |
|---|
装丁 |
paper |
|---|
|
ページ数／巻数 |
IV, 125 p. |
|---|
|
|
ジャンル |
洋書／理工学／情報科学／情報科学基礎 |
|---|
|
|
ISBN |
9783540182177 |
|---|
|
商品コード |
0208725090 |
|---|
|
|
|
|
|
|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0208725090 |
|---|
内容
This work demonstrates that theorem-proving methods can lead to programsynthesis and algorithm implementation by using pairs of logic laws. Asystematic examination of deductive laws and of constructive laws ispresented.
