Logic Programming and Automated Reasoning: 4th International Conference, Lpar*93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)

Voronkov, Andrei

ISBN 10: 3540569448 ISBN 13: 9783540569442

Edit� par Springer, 1993

Ancien(s) ou d'occasion Paperback

Vendeur Mispah books, Redhill, SURRE, Royaume-Uni �valuation du vendeur 4 sur 5 �toiles

Vendeur AbeBooks depuis 15 avril 2021

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

Like NewLIKE NEW. N� de r�f. du vendeur ERICA83335405694483

Signaler cet article

Synopsis :

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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 Programming and Automated Reasoning: ...
�diteur : Springer
Date d'�dition : 1993
Reliure : Paperback
Etat : Like New
Type de livre : book

Meilleurs r�sultats de recherche sur AbeBooks

Image d'archives

Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes . / Lecture Notes in Artificial Intelligence)

Voronkov, Andrei [Editor]

Edit� par Springer, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. 0387569448 Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a-2002

Contacter le vendeur

Acheter D'occasion

EUR 8,47

EUR 5,95 shipping
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Unbekannt

Edit� par Springer, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 408 | Sprache: Englisch | Produktart: B�cher | Keine Beschreibung verf�gbar. N� de r�f. du vendeur 548087/2

Contacter le vendeur

Acheter D'occasion

EUR 15,61

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic Programming and Automated Reasoning

Voronkov, Andrei

Edit� par Springer Berlin Heidelberg, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

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. LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Lat. N� de r�f. du vendeur 4894128

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

Autres images

Logic Programming and Automated Reasoning | 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Andrei Voronkov

Edit� par Springer, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

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 Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)

Edit� par Springer, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

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 ABLIING23Mar3113020170923

Contacter le vendeur

Acheter neuf

EUR 52,23

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Logic Programming and Automated Reasoning

Andrei Voronkov

Edit� par Springer Berlin Heidelberg Jun 1993, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

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 -LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled 'Reasoning versus modeling in computer science'. 408 pp. Englisch. N� de r�f. du vendeur 9783540569442

Contacter le vendeur

Acheter neuf

EUR 53,49

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Andrei Voronkov

Edit� par Springer Berlin Heidelberg, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

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 - LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled 'Reasoning versus modeling in computer science'. N� de r�f. du vendeur 9783540569442

Contacter le vendeur

Acheter neuf

EUR 53,49

EUR 63,08 shipping
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Logic Programming and Automated Reasoning

Andrei Voronkov

Edit� par Springer Berlin Heidelberg Jun 1993, 1993

ISBN 10 : 3540569448 ISBN 13 : 9783540569442

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 -LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. The research in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logicprogramming were used in implementing theorem provingsystems. Results from both fields applied to deductivedatabases.This volume contains the proceedings of LPAR '93, which wasorganized by the Russian Association for Logic Programming.The volume contains 35 contributed papers selected from 84submissions, together with an invited paper by Peter Wegnerentitled 'Reasoning versus modeling in computer science'.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 408 pp. Englisch. N� de r�f. du vendeur 9783540569442

Contacter le vendeur