Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings - Couverture souple
Synopsis
This volume contains papers presented at an international workshop. It gives an overview of various approaches to extending logic programming, concentrating on proof-theoretic extensions developed recently, which put a new emphasis on hypothetical reasoning.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Extensions of Logic Programming: International Workshop,...
Image d'archives
Extensions of Logic Programming: International Workshop, Té??çµ?ingen, FRG, December 8-10, 1989. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Edité par
Springer, 1991
ISBN 10 : 354053590X
ISBN 13 : 9783540535904
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. 038753590X Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD14a-2012
Acheter D'occasion
EUR 42,33
Expédition à EUR 5,99
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Extensions of Logic Programming:
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 354053590X
ISBN 13 : 9783540535904
Ancien ou d'occasion
Taschenbuch
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Gut. 372 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1164. N° de réf. du vendeur 269436
Acheter D'occasion
EUR 46,60
Expédition à EUR 24
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings (Lecture Notes in Computer Science, 475)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540535904_new
Acheter neuf
EUR 59,64
Expédition à EUR 13,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings: International Workshop, Tubingen, Frg, . (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-9783540535904
Acheter neuf
EUR 56,54
Expédition à EUR 17,79
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Extensions of Logic Programming : International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5906338-n
Acheter neuf
EUR 74,15
Expédition à EUR 2,26
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings: 475 (Lecture Notes in Computer Science, 475)
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 1991st. N° de réf. du vendeur LU-9783540535904
Acheter neuf
EUR 76,47
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Extensions of Logic Programming : International Workshop, Tübingen, Frg, December 8-10, 1989. Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5906338-n
Acheter neuf
EUR 59,48
Expédition à EUR 17,22
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Extensions of Logic Programming: International Workshop, T�bingen, Frg, December 8-10, 1989. Proceedings (Paperback or Softback)
Edité par
Springer 2/12/1991, 1991
ISBN 10 : 354053590X
ISBN 13 : 9783540535904
Neuf
Paperback or Softback
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback or Softback. Etat : New. Extensions of Logic Programming: International Workshop, T�bingen, Frg, December 8-10, 1989. Proceedings. Book. N° de réf. du vendeur BBS-9783540535904
Acheter neuf
EUR 83,96
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Extensions of Logic Programming
Edité par
Springer Berlin Heidelberg, 1991
ISBN 10 : 354053590X
ISBN 13 : 9783540535904
Neuf
Couverture souple
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 volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tuebingen in December 1989. Several recent extensions of defini. N° de réf. du vendeur 4892851
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Extensions of Logic Programming
Edité par
Springer Berlin Heidelberg Feb 1991, 1991
ISBN 10 : 354053590X
ISBN 13 : 9783540535904
Neuf
Taschenbuch
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 volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of Tübingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common. One common thread is a new emphasis on hypothetical reasoning, which is typically inspired by Gentzen-style sequent or natural deduction systems. This is not only of theoretical significance, but also bears upon computational issues. It was one purpose of the workshop to bring some of these recent developments together. The volume covers topics such as the languages Lambda-Prolog, N-Prolog, and GCLA, the relationship between logic programming and functional programming, and the relationship between extensions of logic programmingand automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming. 376 pp. Englisch. N° de réf. du vendeur 9783540535904
Acheter neuf
EUR 85,59
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)