| Shelfclass_id | 4.A |
| Sortkey | DOLD, A |
| Authors | A Dold |
| Title | Symposium on Automatic Demonstration: held at Versailles, France, December 1968 |
| Publisher | Springer Pub. Co. |
| Year | 1970 |
| Languages | eng |
| Series | Lecture Notes in Mathematics |
| Volume | 125 |
| Description | 310 p 26 cm |
| Record date | 20060712 |
| Location | New York |
| Keywords | Automatic theorem proving |
| Notes | English or French |