1992, ISBN: 354055498X
[EAN: 9783540554981], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KÜNSTLICHE KI - AI EXTENSION HORNCLAUSES HORNKLAUSELN KNOWLEDGEREPRESENTATION OGRAMMING PROLOG REASONING WISSE… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
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… Mehr…
Springer.com Nr. 978-3-540-55498-1. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Taschenbuch
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 … Mehr…
Biblio.co.uk |
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Taschenbuch
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,… Mehr…
Biblio.co.uk |
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Taschenbuch
1991, ISBN: 9783540554981
Springer, 1992-06-04. Paperback. Good., Springer, 1992-06-04, 2.5
Biblio.co.uk |
1992, ISBN: 354055498X
[EAN: 9783540554981], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KÜNSTLICHE KI - AI EXTENSION HORNCLAUSES HORNKLAUSELN KNOWLEDGEREPRESENTATION OGRAMMING PROLOG REASONING WISSE… Mehr…
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… Mehr…
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Taschenbuch
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 … Mehr…
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Taschenbuch
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,… Mehr…
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Taschenbuch
1991, ISBN: 9783540554981
Springer, 1992-06-04. Paperback. Good., Springer, 1992-06-04, 2.5
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Extensions of Logic Programming
EAN (ISBN-13): 9783540554981
ISBN (ISBN-10): 354055498X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin Heidelberg
369 Seiten
Gewicht: 0,579 kg
Buch in der Datenbank seit 2007-04-14T17:03:10+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-17T16:22:21+01:00 (Zurich)
ISBN/EAN: 354055498X
ISBN - alternative Schreibweisen:
3-540-55498-X, 978-3-540-55498-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: peter schröder, schroeder peter, eriksson, heister, lars hallnäs, schröder henrik, schroeder joseph, peter hall, held peter
Titel des Buches: stockholm, logic programming, lecture notes artificial intelligence, extensions
Daten vom Verlag:
Autor/in: Lars-Henrik Eriksson; Lars Hallnäs; Peter Schroeder-Heister
Titel: 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
Verlag: Springer; Springer Berlin
376 Seiten
Erscheinungsjahr: 1992-05-20
Berlin; Heidelberg; DE
Sprache: Englisch
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780387580258 Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 : Proceedings (Roy Dyckhoff, Scotland) Elp 9 (1993 University of St. Andrews, Roy Dyckhoff)
- 9780387580258 Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 : Proceedings (Roy Dyckhoff, Scotland) Elp 9 (1993 University of St. Andrews, Roy Dyckhoff)
- 9783540580256 Extensions of Logic Programming (Roy Dyckhoff)
- Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science) by Heinrich Herre (2008-06-13) (Heinrich Herre;Peter Schroeder-Heister;Roy Dyckhoff)
< zum Archiv...