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 - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24. Februar 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
SFr. 52,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 7. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 24. Februar 2012
ISBN13 9783642287169
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 446
Maße 155 × 235 × 23 mm   ·   657 g
Sprache Französisch  
Redakteur Bjorner, Nikolaj
Redakteur Voronkov, Andrei

Weitere Titel von Nikolaj Bjorner

Alle anzeigen

Alle Titel von Nikolaj Bjorner ansehen ( u. a. Taschenbuch )