Articles liés à Logic Programming and Automated Reasoning: 4th International...
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings - Couverture souple
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2008
- ISBN 10 3540569448
- ISBN 13 9783540569442
- ReliureBroché
- Langueanglais
- Nombre de pages408
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 53,49
EUR 10,99 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Logic Programming and Automated Reasoning: 4th International...
Image d'archives
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
Edité par
Springer Berlin Heidelberg, 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. N° de réf. du vendeur 548087/2
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logic Programming and Automated Reasoning : 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings
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
Quantité disponible : 1 disponible(s)
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)
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
Quantité disponible : 1 disponible(s)
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540569442_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic Programming and Automated Reasoning
Edité par
Springer Berlin Heidelberg Jun 1993, 1993
ISBN 10 : 3540569448
ISBN 13 : 9783540569442
Neuf
Taschenbuch
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
Quantité disponible : 1 disponible(s)
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)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540569442
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Logic Programming and Automated Reasoning
Edité par
Springer Berlin Heidelberg, 1993
ISBN 10 : 3540569448
ISBN 13 : 9783540569442
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 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
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logic Programming and Automated Reasoning
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 412. N° de réf. du vendeur 261759687
Quantité disponible : 4 disponible(s)
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 / Lecture Notes in Artific)
Edité par
Springer, 1993
ISBN 10 : 3540569448
ISBN 13 : 9783540569442
Ancien ou d'occasion
Paperback
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : Like New. Like NewLIKE NEW. book. N° de réf. du vendeur ERICA83335405694483
Quantité disponible : 1 disponible(s)
Image d'archives
Logic Programming and Automated Reasoning
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 412. N° de réf. du vendeur 181759693
Quantité disponible : 4 disponible(s)