Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - Proceedings - Lecture Notes in Computer Science - Andrei Voronkov - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540557272 - 1 lipca 1992
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Andrei Voronkov
Logic Programming and Automated Reasoning: International Conference, Lpar '92, St.petersburg, Russia, July 15-20, 1992 - Proceedings - Lecture Notes in Computer Science

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 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

Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.

516 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 1 lipca 1992
ISBN13 9783540557272
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 516
Wymiary 155 × 233 × 27 mm   ·   734 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 )