Mendeley出力
Automatic theorem proving based on resolution / by A. Pirotte
(Annual review in automatic programming ; Vol. 7, Part 4)
書誌詳細を非表示
| 出版情報 | Oxford : Pergamon Press , c1973 |
|---|---|
| 本文言語 | 英語 |
| 大きさ | p. 201-266 ; 25 cm |
| 著者標目 | *Pirotte, A. |
| ISBN | 0080171451 |
| NCID | BA19161122 |