- 5 Résultats
prix le plus bas: € 38,51, prix le plus élevé: € 95,10, prix moyen: € 62,09
1
Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters
Commander
sur Indigo.ca
C$ 137,95
(environ € 95,10)
CommanderLien sponsorisé

Logic for Programming Artificial Intelligence and Reasoning by Nikolaj Bjorner Paperback | Indigo Chapters - nouveau livre

2012, ISBN: 9783642287169

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 2… Plus…

new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise
2
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7180)
Commander
sur amazon.de
€ 59,16
Envoi: € 3,001
CommanderLien sponsorisé
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings (Lecture Notes in Computer Science, Band 7180) - Livres de poche

2012, ISBN: 9783642287169

Springer, Taschenbuch, Auflage: 2012, 460 Seiten, Publiziert: 2012-02-24T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: 78 black & white illustrations, 1.41 kg, Informatik, IT-Ausbildung… Plus…

Frais d'envoiAuf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
3
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Bjørner, Nikolaj und Andrei Voronkov
Commander
sur ZVAB.com
€ 42,79
Envoi: € 0,001
CommanderLien sponsorisé
Bjørner, Nikolaj und Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Livres de poche

2012

ISBN: 3642287166

[EAN: 9783642287169], Gebraucht, guter Zustand, [SC: 0.0], [PU: Springer Berlin], SOFTWARE VERIFICATION,DESCRIPTION LOGICS,CONSTRAINT PROGRAMMING,ARTIFICIAL INTELLIGENCE,RESOURCE ANALYSIS… Plus…

NOT NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Buchpark, Trebbin, Germany [83435977] [Rating: 5 (von 5)]
4
Commander
sur buchfreund.de
€ 38,51
Envoi: € 0,001
CommanderLien sponsorisé
Nikolaj Bjørner, Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings 2012 - livre d'occasion

2012, ISBN: 9783642287169

2012 Buchschnitt verkürzt - gepflegter, sauberer Zustand, Ausgabejahr 2012 11964246/12 Versandkostenfreie Lieferung software, verification, description, logics, constraint, programming,… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
5
Logic for Programming, Artificial Intelligence, and Reasoning - Nikolaj Bjørner; Andrei Voronkov
Commander
sur lehmanns.de
€ 74,89
Envoi: € 0,001
CommanderLien sponsorisé
Nikolaj Bjørner; Andrei Voronkov:
Logic for Programming, Artificial Intelligence, and Reasoning - Première édition

2012, ISBN: 9783642287169

Livres de poche

18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2012

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Logic for Programming, Artificial Intelligence, and Reasoning

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.

Informations détaillées sur le livre - Logic for Programming, Artificial Intelligence, and Reasoning


EAN (ISBN-13): 9783642287169
ISBN (ISBN-10): 3642287166
Version reliée
Livre de poche
Date de parution: 2012
Editeur: Springer Berlin
446 Pages
Poids: 0,677 kg
Langue: Englisch

Livre dans la base de données depuis 2009-03-02T16:51:59+01:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-25T11:31:22+01:00 (Paris)
ISBN/EAN: 3642287166

ISBN - Autres types d'écriture:
3-642-28716-6, 978-3-642-28716-9
Autres types d'écriture et termes associés:
Auteur du livre: voronkov, vor, nikolaj
Titre du livre: reasoning science, reason art, proceedings artificial intelligence conference, arti, merida, science 2012, art programming, venezuela, lecture notes artificial intelligence, artificial general intelligence, logic


Données de l'éditeur

Auteur: Nikolaj Bjørner; Andrei Voronkov
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Editeur: Springer; Springer Berlin
446 Pages
Date de parution: 2012-02-24
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Poids: 0,691 kg
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XI, 446 p.

BC; Software Engineering; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; artificial intelligence; constraint programming; description logics; resource analysis of programs; software verification; Artificial Intelligence; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Compilers and Interpreters; Künstliche Intelligenz; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA

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.

< pour archiver...