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 Nikolaj Bjorner

Name: 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
Price: 62.99 EUR
Availability: OutOfStock
Author: Nikolaj Bjorner

Cena

€ 62,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 4. - 18. sept.

Saņemiet paziņojumus par jauniem Nikolaj Bjorner izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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

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

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2012. gada 24. februāris
ISBN13	9783642287169
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	446
Izmēri	155 × 235 × 23 mm · 657 g
Valoda	Franču
Redaktors	Bjorner, Nikolaj
Redaktors	Voronkov, Andrei