1992, ISBN: 354055498X
[EAN: 9783540554981], Neubuch, [PU: Springer Berlin Heidelberg], INTELLIGENZ KÜNSTLICHE KI - AI EXTENSION HORNCLAUSES HORNKLAUSELN KNOWLEDGEREPRESENTATION OGRAMMING PROLOG REASONING WISSE… Altro …
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione: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… Altro …
Springer.com Nr. 978-3-540-55498-1. Costi di spedizione: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) - edizione con copertina flessibile
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 … Altro …
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) - edizione con copertina flessibile
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,… Altro …
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) - edizione con copertina flessibile
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… Altro …
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… Altro …
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - edizione con copertina flessibile
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 … Altro …
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - edizione con copertina flessibile
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,… Altro …
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596) - edizione con copertina flessibile
1991, ISBN: 9783540554981
Springer, 1992-06-04. Paperback. Good., Springer, 1992-06-04, 2.5
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Extensions of Logic Programming
EAN (ISBN-13): 9783540554981
ISBN (ISBN-10): 354055498X
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1992
Editore: Springer Berlin Heidelberg
369 Pagine
Peso: 0,579 kg
Libro nella banca dati dal 2007-04-14T17:03:10+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-17T16:22:21+01:00 (Zurich)
ISBN/EAN: 354055498X
ISBN - Stili di scrittura alternativi:
3-540-55498-X, 978-3-540-55498-1
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : peter schröder, schroeder peter, eriksson, heister, lars hallnäs, schröder henrik, schroeder joseph, peter hall, held peter
Titolo del libro: stockholm, logic programming, lecture notes artificial intelligence, extensions
Dati dell'editore
Autore: Lars-Henrik Eriksson; Lars Hallnäs; Peter Schroeder-Heister
Titolo: 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
Editore: Springer; Springer Berlin
376 Pagine
Anno di pubblicazione: 1992-05-20
Berlin; Heidelberg; DE
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...