- 5 Résultats
prix le plus bas: € 8,85, prix le plus élevé: € 53,49, prix moyen: € 35,79
1
Extensions of Logic Programming - Eriksson, Lars-Henrik|Hallnäs, Lars|Schroeder-Heister, Peter
Commander
sur AbeBooks.de
€ 48,37
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Eriksson, Lars-Henrik|Hallnäs, Lars|Schroeder-Heister, Peter:

Extensions of Logic Programming - Livres de poche

1992, ISBN: 354055498X

[EAN: 9783540554981], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KÜNSTLICHE KI - AI EXTENSION HORNCLAUSES HORNKLAUSELN KNOWLEDGEREPRESENTATION OGRAMMING PROLOG REASONING WISSE… Plus…

NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
fermer(X)
2
Extensions of Logic Programming
Commander
sur Springer.com
€ 53,49
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Extensions of Logic Programming - nouveau livre

ISBN: 9783540554981

This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, Janua… Plus…

Nr. 978-3-540-55498-1. Frais d'envoiWorldwide free shipping, , DE. (EUR 0.00)
fermer(X)
3
Commander
sur Biblio.co.uk
$ 9,53
(environ € 8,85)
Envoi: € 22,291
Commander
Détails du fournisseur
Lien sponsorisé
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister:
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Livres de poche

1991

ISBN: 9783540554981

Springer, 1992. *Price HAS BEEN REDUCED by 10% until Monday, Feb 19 (sale item)* 369 pp., paperback, ex library, else textually clean and tight. - If you are reading this, this item is … Plus…

Frais d'envoi EUR 22.29 Zubal Books
fermer(X)
4
Commander
sur Biblio.co.uk
$ 28,95
(environ € 26,89)
Envoi: € 17,921
Commander
Détails du fournisseur
Lien sponsorisé
Eriksson, Lars-Henrik [Editor]; Hallnäs, Lars [Editor]; Schroeder-Heister, Peter [Editor];:
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Livres de poche

1991, ISBN: 9783540554981

Springer, 1992-06-04. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding., Springer,… Plus…

Frais d'envoi EUR 17.92 GuthrieBooks
fermer(X)
5
Commander
sur Biblio.co.uk
$ 44,52
(environ € 41,34)
Envoi: € 19,501
Commander
Détails du fournisseur
Lien sponsorisé
Editor-Lars-Henrik Eriksson; Editor-Lars Hallnäs; Editor-Peter Schroeder-Heister:
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Livres de poche

1991, ISBN: 9783540554981

Springer, 1992-06-04. Paperback. Good., Springer, 1992-06-04, 2.5

Frais d'envoi EUR 19.50 Ergodebooks
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Extensions of Logic Programming
Auteur:
Titre:
ISBN:

354055498X


This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992.

Informations détaillées sur le livre - Extensions of Logic Programming


EAN (ISBN-13): 9783540554981
ISBN (ISBN-10): 354055498X
Version reliée
Livre de poche
Date de parution: 1992
Editeur: Springer Berlin Heidelberg
369 Pages
Poids: 0,579 kg

Livre dans la base de données depuis 2007-04-14T17:03:10+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-17T16:22:21+01:00 (Zurich)
ISBN/EAN: 354055498X

ISBN - Autres types d'écriture:
3-540-55498-X, 978-3-540-55498-1
Autres types d'écriture et termes associés:
Auteur du livre: peter schröder, schroeder peter, eriksson, heister, lars hallnäs, schröder henrik, schroeder joseph, peter hall, held peter
Titre du livre: stockholm, logic programming, lecture notes artificial intelligence, extensions

Données de l'éditeur

Auteur: Lars-Henrik Eriksson; Lars Hallnäs; Peter Schroeder-Heister
Titre: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Extensions of Logic Programming - Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Editeur: Springer; Springer Berlin
376 Pages
Date de parution: 1992-05-20
Berlin; Heidelberg; DE
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 376 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Extension; Horn Clauses; Horn Klauseln; Knowledge Representation; Logic Programming; Prolog; Reasoning; Wissens-Darstellung; logic; programming; programming language; Software Engineering; Artificial Intelligence; Programming Techniques; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; EA

Methodology and programming techniques in GCLA II.- Extended logic-plus-functional Programming.- Open logic theories.- A finitary version of the calculus of partial inductive definitions.- A logic programming approach to implementing higher-Order term rewriting.- An overview of the Andorra Kernel Language.- Logical and computational invariants of programs.- Implementing ?-calculus reduction strategies in extended logic programming languages.- Terminological reasoning and partial inductive definitions.- GCLA II A definitional approach to control.- Natural semantics and some of its meta-theory in Elf.- The near-Horn approach to disjunctive logic programming.
< pour archiver...