Pastāsti draugiem par šo preci:
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Lecture Notes in Computer Science D Mcallester 1999 edition
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Lecture Notes in Computer Science
D Mcallester
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi.
404 pages, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1999. gada 25. augusts |
| ISBN13 | 9783540664925 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 404 |
| Izmēri | 155 × 235 × 21 mm · 580 g |
| Valoda | Vācu |
| Redaktors | Ganzinger, Harald |
| Redaktors | McAllester, David |
| Redaktors | Voronkov, Andrei |