Logic Programming and Automated Reasoning
4th International Conference, Lpar '93 St. Petersburg, Russia, July 13-20, 1993 Proceedings (Lecture Notes in Computer Science)
Edición de la obra Logic Programming and Automated Reasoning
| Autor | Andrei Voronkov |
|---|---|
| Editorial | Springer |
| Fecha de publicación | August 1993 |
| Idioma | inglés |
| Páginas | 399 |
| ISBN-13 | 9780387569444 |
| ISBN-10 | 0387569448 |
| Número de Cutter | V954l |