Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings - Couverture souple

Schroeder-Heister, Peter

9783540535904: Extensions of Logic Programming: International Workshop, T??bingen, FRG, December 8-10, 1989. Proceedings

Couverture souple

ISBN 10 : 354053590X ISBN 13 : 9783540535904

Editeur : Springer, 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 41,78

7 Neuf

De EUR 57,93

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.

�diteur: Springer
Date d'�dition: 2008
Langue: anglais
ISBN 10: 354053590X
ISBN 13: 9783540535904
Reliure: Broch�
Nombre de pages: 376
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

Acheter D'occasion

�tat : Assez bon

038753590X Ex-library paperback...

Afficher cet article

EUR 41,78

Exp�dition �EUR 5,92
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 57,93

Exp�dition �EUR 13,67
Exp�dition depuis Royaume-Uni vers Etats-Unis

Ajouter au panier

Autres �ditions populaires du m�me titre

9780387535906: Extensions of Logic Programming: International Workshop Tubingen Frg, December 8-10, 1989 Proceedings

Edition pr�sent�e

ISBN 10 : 038753590X ISBN 13 : 9780387535906
Editeur : Springer-Verlag, 1991
Couverture souple

Springer, 2014 (Couverture souple)

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)

Schroeder-Heister, Peter [Editor]

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

Contacter le vendeur

Acheter D'occasion

EUR 41,78

Exp�dition �EUR 5,92
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Extensions of Logic Programming : International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings

Schroeder-Heister, P.

Edit� par Springer Berlin / Heidelberg, 1991

ISBN 10 : 354053590X ISBN 13 : 9783540535904

Ancien ou d'occasion Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : Good. 1991st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N� de r�f. du vendeur 17345957-6

Contacter le vendeur

Acheter D'occasion

EUR 47,93

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensions of Logic Programming:

Schroeer-Heister:

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

Contacter le vendeur

Acheter D'occasion

EUR 46,60

Exp�dition �EUR 24
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Extensions of Logic Programming: International Workshop, T�bingen, FRG, December 8-10, 1989. Proceedings (Lecture Notes in Computer Science, 475)

Schroeder-Heister, Peter

Edit� par Springer, 1991

ISBN 10 : 354053590X ISBN 13 : 9783540535904

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 ria9783540535904_new

Contacter le vendeur

Acheter neuf

EUR 57,93

Exp�dition �EUR 13,67
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

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)

Peter Schroeder-Heister

Edit� par Springer 2008-06-13, 2008

ISBN 10 : 354053590X ISBN 13 : 9783540535904

Neuf Paperback

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

Contacter le vendeur

Acheter neuf

EUR 56,17

Exp�dition �EUR 17,67
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensions of Logic Programming

Schroeder-Heister, Peter

Edit� par Springer Berlin Heidelberg, 1991

ISBN 10 : 354053590X ISBN 13 : 9783540535904

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 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

Contacter le vendeur

Acheter neuf

EUR 48,37

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Extensions of Logic Programming

Peter Schroeder-Heister

Edit� par Springer Berlin Heidelberg Feb 1991, 1991

ISBN 10 : 354053590X ISBN 13 : 9783540535904

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 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

Contacter le vendeur

Acheter neuf

EUR 85,59

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

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensions of Logic Programming

Peter Schroeder-Heister

Edit� par Springer Berlin Heidelberg Feb 1991, 1991

ISBN 10 : 354053590X ISBN 13 : 9783540535904

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 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 programming and automated theorem proving. It contains the results of the first conference concentrating on proof-theoretic approaches to logic programming.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch. N� de r�f. du vendeur 9783540535904

Contacter le vendeur

Acheter neuf

EUR 53,49

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensions of Logic Programming : International Workshop, T�bingen, FRG, December 8-10, 1989. Proceedings

Peter Schroeder-Heister

Edit� par Springer Berlin Heidelberg, 1991

ISBN 10 : 354053590X ISBN 13 : 9783540535904

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 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. N� de r�f. du vendeur 9783540535904

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 62,85
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Extensions of Logic Programming | International Workshop, T�bingen, FRG, December 8-10, 1989. Proceedings

Peter Schroeder-Heister

Edit� par Springer, 1991

ISBN 10 : 354053590X ISBN 13 : 9783540535904

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Contacter le vendeur

Acheter neuf

EUR 50,25

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

Quantit� disponible : 5 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les r�sultats pour ce livre