Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi (Lecture Notes in Computer Science)

ISBN 10: 3662488981 ISBN 13: 9783662488980

Edit� par Springer, 2015

impression � la demande

Neuf(s) Couverture souple

Vendeur Biblios, Frankfurt am main, HESSE, Allemagne �valuation du vendeur 4 sur 5 �toiles

Vendeur AbeBooks depuis 10 septembre 2024

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

PRINT ON DEMAND pp. 602. N� de r�f. du vendeur 18372812762

Signaler cet article

Synopsis :

This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.

The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

D�tails bibliographiques

Titre : Logic for Programming, Artificial ...
�diteur : Springer
Date d'�dition : 2015
Reliure : Couverture souple
Etat : New

Meilleurs r�sultats de recherche sur AbeBooks

Image fournie par le vendeur

Logic for Programming, Artificial Intelligence, and Reasoning

Davis, Martin|Fehnker, Ansgar|McIver, Annabelle|Voronkov, Andrei

Edit� par Springer Berlin Heidelberg, 2015

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invited. N� de r�f. du vendeur 82810896

Contacter le vendeur

Acheter neuf

EUR 48,37

EUR 48,99 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logic for Programming, Artificial Intelligence, and Reasoning | 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Martin Davis (u. a.)

Edit� par Springer, 2015

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 50,35

EUR 70 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, ... Computer Science and General Issues)

Edit� par Springer, 2015

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020315134

Contacter le vendeur

Acheter neuf

EUR 53

EUR 3,41 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis

Edit� par Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2015, 2015

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. The series of International Conferences on Logic for ProgrammingArtificial Intelligence and Reasoning, LPAR, is a forum where, year after yearsome of the most renowned researchers in the areas of logic, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 656 pp. Englisch. N� de r�f. du vendeur 9783662488980

Contacter le vendeur

Acheter neuf

EUR 53,49

EUR 60 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Martin Davis

Edit� par Springer Berlin Heidelberg, 2015

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. 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, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world. N� de r�f. du vendeur 9783662488980

Contacter le vendeur

Acheter neuf

EUR 53,49

EUR 64,89 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis

Edit� par Springer Berlin Heidelberg Dez 2015, 2015

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and selected from 92submissions. 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, automatedreasoning, computational logic, programming languages and their applicationscome to present cutting-edge results, to discuss advances in these fields, andto exchange ideas in a scientifically emerging part of the world. 656 pp. Englisch. N� de r�f. du vendeur 9783662488980

Contacter le vendeur