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 - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24 février 2012
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 58,99

Commandé depuis un entrepôt distant

Livraison prévue 6 - 15 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits 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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 24 février 2012
ISBN13 9783642287169
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 446
Dimensions 155 × 235 × 23 mm   ·   657 g
Langue et grammaire Français  
Éditeur Bjorner, Nikolaj
Éditeur Voronkov, Andrei

Plus par Nikolaj Bjorner

Afficher tout

Voir tous les Nikolaj Bjorner ( par ex. Paperback Book )