|
Knowledge based theorem proving and learning
by Donald N. Cohen
|
書名 |
Knowledge based theorem proving and learning |
著作者等 |
Cohen, Donald N.
|
シリーズ名 |
Computer science
|
出版元 |
UMI Research Press |
刊行年月 |
c1981 |
ページ数 |
202 p. |
大きさ |
24 cm |
ISBN |
0835712028
|
NCID |
BA00374332
※クリックでCiNii Booksを表示
|
言語 |
英語 |
出版国 |
アメリカ合衆国 |
この本を:
|
件が連想されています
|