Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540569442 - 29 czerwca 1993
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Andrei Voronkov
Logic Programming and Automated Reasoning: 4th International Conference, Lpar '93, St.petersburg, Russia, July 13-20, 1993 - Proceedings - Lecture Notes in Computer Science

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 13 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

This volume contains the proceedings of an international conference which brought together researchers interested in logic programming and automated reasoning. The results obtained from both of these fields were then applied to deductive databases.

408 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 29 czerwca 1993
ISBN13 9783540569442
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 408
Wymiary 155 × 233 × 21 mm   ·   576 g
Język Niemiecki  
Redaktor Voronkov, Andrei

Więcej od Andrei Voronkov

Pokaż wszystko

Zobacz wszystko od Andrei Voronkov ( np. Paperback Book i Hardcover Book )