1992, ISBN: 354055498X
[EAN: 9783540554981], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KÜNSTLICHE KI - AI EXTENSION HORNCLAUSES HORNKLAUSELN KNOWLEDGEREPRESENTATION OGRAMMING PROLOG REASONING WISSE… More...
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Shipping costs: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… More...
Springer.com Nr. 978-3-540-55498-1. Shipping costs: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) - Paperback
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 … More...
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) - Paperback
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,… More...
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) - Paperback
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… More...
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… More...
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Paperback
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 … More...
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - Paperback
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,… More...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
Details of the book - Extensions of Logic Programming
EAN (ISBN-13): 9783540554981
ISBN (ISBN-10): 354055498X
Hardcover
Paperback
Publishing year: 1992
Publisher: Springer Berlin Heidelberg
369 Pages
Weight: 0,579 kg
Book in our database since 2007-04-14T16:03:10+01:00 (London)
Detail page last modified on 2024-02-17T15:22:21+00:00 (London)
ISBN/EAN: 354055498X
ISBN - alternate spelling:
3-540-55498-X, 978-3-540-55498-1
Alternate spelling and related search-keywords:
Book author: peter schröder, schroeder peter, eriksson, heister, lars hallnäs, schröder henrik, schroeder joseph, peter hall, held peter
Book title: stockholm, logic programming, lecture notes artificial intelligence, extensions
Information from Publisher
Author: Lars-Henrik Eriksson; Lars Hallnäs; Peter Schroeder-Heister
Title: 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
Publisher: Springer; Springer Berlin
376 Pages
Publishing year: 1992-05-20
Berlin; Heidelberg; DE
Language: English
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.More/other books that might be very similar to this book
Latest similar book:
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)
< to archive...