Using sophisticated models in resolution theorem proving /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Գիրք |
| Լեզու: | English |
| Հրապարակվել է: |
Berlin ; New York :
Springer-Verlag,
1980.
|
| Շարք: | Lecture notes in computer science ;
90. |
| Խորագրեր: |
| Նյութի նկարագրություն: | Revision of thesis (Ph. D.). Includes index. |
|---|---|
| Ֆիզիկական նկարագրություն: | xi, 239 p. ; 25 cm. |
| Մատենագիտություն: | Bibliography: p. [229]-233. |
| ISBN: | 0387102310 |