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

2 D'occasion

De EUR 46,60

8 Neuf

De EUR 51,66

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

372 Seiten ex Library Book aus...

Afficher cet article

EUR 46,60

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

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 51,66

Exp�dition �EUR 3,36
Exp�dition nationale�: 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�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 : Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020169699

Contacter le vendeur

Acheter neuf

EUR 51,66

Exp�dition �EUR 3,36
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

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 58,37

Exp�dition �EUR 13,77
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,60

Exp�dition �EUR 17,81
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

impression � la demande

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

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

Ancien ou d'occasion Paperback

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. N� de r�f. du vendeur ERICA778354053590X6

Contacter le vendeur

Acheter D'occasion

EUR 119,59

Exp�dition �EUR 28,74
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier