Logic for Programming, Artificial Intelligence, and Reasoning - Nikolaj Bjørner
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre72,10 €
Produit Neuf
Ou 18,03 € /mois
- Livraison à 0,01 €
- Livré entre le 26 mai et le 3 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642287169_dbm
Nos autres offres
-
73,34 €
Produit Neuf
Ou 18,34 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce -
89,95 €
Produit Neuf
Ou 22,49 € /mois
- Livraison : 25,00 €
- Livré entre le 9 et le 15 juin
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Logic For Programming, Artificial Intelligence, And Reasoning de Nikolaj Bjørner Format Broché - Livre
0 avis sur Logic For Programming, Artificial Intelligence, And Reasoning de Nikolaj Bjørner Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Logic For Programming, Artificial Intelligence, And Reasoning de Nikolaj Bjørner Format Broché
- Livre
Résumé :
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. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
Détails de conformité du produit
Personne responsable dans l'UE