Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues - Nikolaj Bjorner - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24 lutego 2012
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Nikolaj Bjorner
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues

Cena
zł 248,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 15 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 book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.

457 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 24 lutego 2012
ISBN13 9783642287169
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 446
Wymiary 155 × 235 × 23 mm   ·   657 g
Język Francuski  
Redaktor Bjorner, Nikolaj
Redaktor Voronkov, Andrei

Więcej od Nikolaj Bjorner

Pokaż wszystko

Zobacz wszystko od Nikolaj Bjorner ( np. Paperback Book )