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

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

Couverture souple

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Editeur : Springer, 2015

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 172,68

11 Neuf

De EUR 48,37

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 � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2015
Langue: anglais
ISBN 10: 3662488981
ISBN 13: 9783662488980
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 656
�diteur: Davis Martin, Fehnker Ansgar, McIver Annabelle, Voronkov Andrei
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Comme neuf

Unread book in perfect condition...

Afficher cet article

EUR 172,68

Autre devise

EUR 17,34 exp�dition depuis Royaume-Uni vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 48,37

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Autres �ditions populaires du m�me titre

9783662489000: Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings (Lecture Notes in Computer Science) (2015-12-30)

Edition pr�sent�e

ISBN 10 : 3662489007 ISBN 13 : 9783662489000
Couverture souple

R�sultats de recherche pour Logic for Programming, Artificial Intelligence, and...

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 Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. 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

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

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

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

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

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

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 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 : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783662488980_new

Contacter le vendeur

Acheter neuf

EUR 60,52

Autre devise

Frais de port : EUR 4,61

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

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, Proceedings (Lecture Notes in Computer Science)

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Edit� par Springer 2015-12-30, 2015

ISBN 10 : 3662488981 ISBN 13 : 9783662488980

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783662488980

Contacter le vendeur

Acheter neuf

EUR 57,34

Autre devise

Frais de port : EUR 10,97

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

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

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. 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