Articoli correlati a Logic Programming '87: Proceedings of the 6th Conference...
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987: 315 - Brossura
Sinossi
This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
From unification to constraints.- CS-Prolog: A generalized unification based constraint solver.- Update propagation network — A framework for constraint programming.- Mendels: Concurrent program synthesis system using temporal logic.- Analogical program synthesis from program components.- Deriving a compilation method for parallel logic languages.- The art of building a parallel logic programming system or from zero to full GHC in ten pages.- of a package system into Prolog.- KPR: A logic programming language-oriented parallel machine.- A preliminary evaluation of a parallel inference machine for stream parallel languages.- Managing search in parallel logic programming.- Inductive inference of regular languages based on model inference.- Polymorphic type inference in Prolog by abstract interpretation.- Proving partial correctness of guarded horn clauses programs.- Knowledge representation and inference based on first-order modal logic.- Manipulation of embedded context using the multiple world mechanism.- Generating natural language responses appropriate to conversational situations - in the case of Japanese -.- An approach to speeding up the Prolog-based inference engine KORE/IE.- Test generation for large-scale combinational circuits by using Prolog.- Concurrent execution of Prolog transaction.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540194266
- ISBN 13 9783540194262
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine340
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Logic Programming '87: Proceedings of the 6th Conference...
Immagini fornite dal venditore
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science (315), Band 315)
Da: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germania
Valutazione del venditore 5 su 5 stelle
Softcover. 1988. 327 p. ATTENTION 1988 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540194262 Sprache: Englisch Gewicht in Gramm: 1000. Codice articolo 224191
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Programming 87
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architectur. Codice articolo 4884160
Quantità: Più di 20 disponibili
Foto dell'editore
Lecture Notes in Computer Science, Volume 315: Logic Programming '87, Proceedings, 22-24 June 1987, Tokyo, Japan.
Editore:
Springer-Verlag, Berlin, 1988
ISBN 10: 3540194266
ISBN 13: 9783540194262
Antico o usato
Soft cover
Da: SUNSET BOOKS 2, Newark, OH, U.S.A.
Valutazione del venditore 4 su 5 stelle
Soft cover. Condizione: Very Good. No Jacket. First. 327pp, w/full markings, pocket, and/or bookplate. Wear, soil. Weight is 1.75 lb. Ex-Library Size: 8vo. Book. Codice articolo 015929
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Editore:
Springer Berlin Heidelberg, 1988
ISBN 10: 3540194266
ISBN 13: 9783540194262
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings. Codice articolo 9783540194262
Quantità: 1 disponibili
Immagini fornite dal venditore
Logic Programming '87
ISBN 10: 3540194266
ISBN 13: 9783540194262
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 -This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch. Codice articolo 9783540194262
Quantità: 1 disponibili
Foto dell'editore
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science, 315)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540194262_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic Programming '87
Editore:
Springer Berlin Heidelberg Jun 1988, 1988
ISBN 10: 3540194266
ISBN 13: 9783540194262
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 -This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings. 340 pp. Englisch. Codice articolo 9783540194262
Quantità: 2 disponibili
Foto dell'editore
Logic Programming '87 : Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540194262
Quantità: 10 disponibili
Foto dell'editore
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. 0387194266 Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a-1977
Quantità: 1 disponibili
Foto dell'editore
Logic Programming '87: Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987 (Lecture Notes in Computer Science, 315)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020162094
Quantità: Più di 20 disponibili