Sinossi
Logic Programming was effectively defined as a discipline in the early seventies. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1 Introductory Papers to Logic Programming and Prolog.- 2 Theoretical Issues of Logic Programming.- 3 Unification — Theory and Practice.- 4 Semantics of Prolog and Logic Programming in General.- 5 Implementation Issues of Logic Programming Languages.- 6 Programming Concepts in Logic Programming.- 7 Alternatives to Prolog as a Logic Programming Language.- 8 Papers Related to Fifth Generation Computer Systems.- 9 Harware Architectures for Logic Programming.- 10 Parallelism and Logic Programming.- 11 Concurrent Prolog.- 12 Functional Programming and Equality: their Relationship with Logic Programming.- 13 Various Application Areas of Logic Programming.- 14 Application of Logic Programming to Expert Systems.- 15 Databases — Relationship with Logic Programming.- 18 Grammar Formalisms for Natural Language Processing.- 17 Knowledge Representation Issues in Logic Programming.- 18 Logic Programming in Learning Systems.- 19 Amalgamation of Object and Meta Level.- Permuted Subject Index.- Author Index.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Logic Programming: A Classified Bibliography
Foto dell'editore
Logic Programming: A Classified Bibliography
Editore:
Kluwer Academic Publishers, 1985
ISBN 10: 0908069154
ISBN 13: 9780908069156
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo D-625-346
Compra usato
EUR 3,14
Spedizione EUR 16,50
Spedito da Francia a U.S.A.
Spedito da Francia a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Programming: A Classified Bibliography
Editore:
Wildgrass Books (1985), Fitzror, 1985
ISBN 10: 0908069154
ISBN 13: 9780908069156
Antico o usato
Softcover
Prima edizione
Da: Renaissance Books, ANZAAB / ILAB, Dunedin, Nuova Zelanda
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Good. Condizione sovraccoperta: No Dust Jacket. First Edition. Ex-library. Library stamps and markings.; [xiv], 360 pages. Softcover. Page dimensions: 214 x 147mm. "Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear [. . .] Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law [. . .] One cannot overestimate the importance of such a bibliograpy." - from the Foreword by Jean-Louis, Lassez. ; Ex-Library; 8vo. Codice articolo 10868
Compra usato
EUR 52,99
Spedizione EUR 30,01
Spedito da Nuova Zelanda a U.S.A.
Spedito da Nuova Zelanda a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic Programming: A Classified Bibliography
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780908069156_new
Compra nuovo
EUR 113,71
Spedizione EUR 13,76
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic Programming
Editore:
Springer, Springer Dez 1985, 1985
ISBN 10: 0908069154
ISBN 13: 9780908069156
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems. Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law, etc. Consequently, many papers related to Logic Programming appear in a wide variety of journals and proceedings of conferences in other disciplines. This is particularly true of Computer Science where a revolution is taking place in hardware design, programming languages, and more recently databases. One cannot overestimate the importance of such a bibliography. 380 pp. Englisch. Codice articolo 9780908069156
Compra nuovo
EUR 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Logic Programming
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done dur. Codice articolo 5982757
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Logic Programming
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 380. Codice articolo 263061772
Compra nuovo
EUR 147,33
Spedizione EUR 3,42
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logic Programming
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 380 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam. Codice articolo 5834707
Compra nuovo
EUR 150,20
Spedizione EUR 7,46
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logic Programming
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 380. Codice articolo 183061766
Compra nuovo
EUR 152,45
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Logic Programming | A Classified Bibliography
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Logic Programming | A Classified Bibliography | I. Balbin (u. a.) | Taschenbuch | 360 S. | Englisch | 1985 | Springer | EAN 9780908069156 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 101957119
Compra nuovo
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Logic Programming
Editore:
Springer, Springer Dez 1985, 1985
ISBN 10: 0908069154
ISBN 13: 9780908069156
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Logic Programming was effectively defined as a discipline in the early seventies. It is only during the early to mid eighties that books, conferences and journals devoted entirely to Logic Programming began to appear. Consequently, much of the work done during this first crucial decade in Marseilles, Edinburgh, London, Budapest and Stockholm (to name a few) is often overlooked or difficult to trace. There are now two main regular conferences on Logic Programming, and at least five journals: The Journal of Logic Programming, New Generation Computing, Automated Reasoning, The Journal of SJmbolic Computation, and Future Generation Computer Systems. Logic Programming, however, has its roots in Automated Theorem Proving and via the expanding area of expert systems, strongly influences researchers in such varied fields as Civil Engineering, Chemistry, Law, etc. Consequently, many papers related to Logic Programming appear in a wide variety of journals and proceedings of conferences in other disciplines. This is particularly true of Computer Science where a revolution is taking place in hardware design, programming languages, and more recently databases. One cannot overestimate the importance of such a bibliography.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 380 pp. Englisch. Codice articolo 9780908069156
Compra nuovo
EUR 106,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili