Articoli correlati a Extensions of Logic Programming: Second International...
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings: 596 - Brossura
Sinossi
This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 354055498X
- ISBN 13 9783540554981
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine384
- 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 costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Extensions of Logic Programming: Second International...
Foto dell'editore
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 16 (weekend SALE item)* 369 pp., paperback, ex library, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB712227
Quantità: 1 disponibili
Immagini fornite dal venditore
Extensions of Logic Programming
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 papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approach. Codice articolo 4893625
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Extensions of Logic Programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Editore:
Springer Berlin Heidelberg, 1992
ISBN 10: 354055498X
ISBN 13: 9783540554981
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 papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992. Codice articolo 9783540554981
Quantità: 1 disponibili
Immagini fornite dal venditore
Extensions of Logic Programming
Editore:
Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10: 354055498X
ISBN 13: 9783540554981
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 papers presented at the secondinternational workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch. Codice articolo 9783540554981
Quantità: 1 disponibili
Foto dell'editore
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540554981_new
Quantità: Più di 20 disponibili
Foto dell'editore
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Codice articolo UTD14a-2014
Quantità: 1 disponibili
Immagini fornite dal venditore
Extensions of Logic Programming
Editore:
Springer Berlin Heidelberg Mai 1992, 1992
ISBN 10: 354055498X
ISBN 13: 9783540554981
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 papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers describe and discuss several approaches toextensions of logic programming languages such as PROLOG, aswell as connections between logic programming and functionalprogramming, theoretical foundations of extensions,applications, and programming methodologies.The first workshop in this series was held in T}bingen in1989 and its proceedings areavailable as LNCS 475. Thethird workshop will be held in Bologna in 1992. 384 pp. Englisch. Codice articolo 9783540554981
Quantità: 2 disponibili
Foto dell'editore
Extensions of Logic Programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540554981
Quantità: 10 disponibili
Foto dell'editore
Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings (Lecture Notes in Artificial Intelligence 596)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020170446
Quantità: Più di 20 disponibili