Artículos relacionados a Meta-Programming in Logic: Third International Workshop,...
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings: 649 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2008
- ISBN 10 3540562826
- ISBN 13 9783540562825
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas368
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 53,49
EUR 11,99 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Meta-Programming in Logic: Third International Workshop,...
Imagen del vendedor
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649, Band 649)
Librería: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. 1992. 351 p. ATTENTION 1992 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540562825 Sprache: Englisch Gewicht in Gramm: 1000. Nº de ref. del artículo: 224187
Cantidad disponible: 1 disponibles
Imagen del vendedor
Meta-Programming in Logic. Third Intern. Workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings. (=Lecture Notes in Computer Science; 649).
Publicado por
Springer Berlin, 1992
ISBN 10: 3540562826
ISBN 13: 9783540562825
Antiguo o usado
Paperback/ broschiert
Librería: ralfs-buecherkiste, Herzfelde, MOL, Alemania
Calificación del vendedor: 5 de 5 estrellas
Paperback/ broschiert. Condición: Gut. 351 S. Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369 Sprache: Englisch Gewicht in Gramm: 600. Nº de ref. del artículo: 289527
Cantidad disponible: 1 disponibles
Imagen de archivo
Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Publicado por
Springer Berlin Heidelberg, 1992
ISBN 10: 3540562826
ISBN 13: 9783540562825
Antiguo o usado
Tapa blanda
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut | Seiten: 368 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 590918/203
Cantidad disponible: 1 disponibles
Imagen del vendedor
Meta-Programming in Logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Publicado por
Springer Berlin Heidelberg, 1992
ISBN 10: 3540562826
ISBN 13: 9783540562825
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains lectures and papers delivered at Meta92, the Third International Workshop on Metaprogramming inLogic, held in Uppsala, Sweden,June 1992. The topicscovered include foundations of metaprogramming in logic,proposals for metaprogramming languages, techniques forknowledgerepresentation and belief systems, and programtransformation and analysis in logic.Particular topics include belief revision systems,intensionaldeduction, belief systems and metaprogramming,principles of partial deduction, termination in logicprograms, semantics of the 'vanilla' metainterpreter, acomplete resolution method for metaprogramming, semanticsof'demo', hierarchical metalogics, the naming relation inmetalevel systems, modules, reflective agents, compileroptimizations, metalogic and object-oriented facilities,parallel logic languages, the use of metaprogramming forlegal reasoning, representing objects and inheritance,transformation of normal programs, negation in automaticallygenerated logic programs, reordering of literals indeductive databases, abstract interpretations, andinterarguments in constraint logic programs. Nº de ref. del artículo: 9783540562825
Cantidad disponible: 1 disponibles
Imagen de archivo
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540562825_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Meta-Programming in Logic
Publicado por
Springer Berlin Heidelberg, 1992
ISBN 10: 3540562826
ISBN 13: 9783540562825
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains lectures and papers delivered at Meta92, the Third International Workshop on Metaprogramming inLogic, held in Uppsala, Sweden,June 1992. The topicscovered include foundations of metaprogramming in logic,proposals for metaprogramm. Nº de ref. del artículo: 4893890
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Meta-Programming in Logic
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 1992, 1992
ISBN 10: 3540562826
ISBN 13: 9783540562825
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains lectures and papers delivered at Meta92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the 'vanilla' metainterpreter, a complete resolution method for metaprogramming, semanticsof 'demo', hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch. Nº de ref. del artículo: 9783540562825
Cantidad disponible: 1 disponibles
Imagen del vendedor
Meta-Programming in Logic
Publicado por
Springer Berlin Heidelberg Dez 1992, 1992
ISBN 10: 3540562826
ISBN 13: 9783540562825
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains lectures and papers delivered at Meta92, the Third International Workshop on Metaprogramming inLogic, held in Uppsala, Sweden,June 1992. The topicscovered include foundations of metaprogramming in logicproposals for metaprogramming languages, techniques forknowledgerepresentation and belief systems, and programtransformation and analysis in logic.Particular topics include belief revision systemsintensionaldeduction, belief systems and metaprogrammingprinciples of partial deduction, termination in logicprograms, semantics of the 'vanilla' metainterpreter, acomplete resolution method for metaprogramming, semanticsof'demo', hierarchical metalogics, the naming relation inmetalevel systems, modules, reflective agents, compileroptimizations, metalogic and object-oriented facilitiesparallel logic languages, the use of metaprogramming forlegal reasoning, representing objects and inheritancetransformation of normal programs, negation in automaticallygenerated logic programs, reordering of literals indeductive databases, abstract interpretations, andinterarguments in constraint logic programs. 368 pp. Englisch. Nº de ref. del artículo: 9783540562825
Cantidad disponible: 2 disponibles
Imagen de archivo
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science)
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. 0387562826 Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD14a-1971
Cantidad disponible: 1 disponibles
Imagen de archivo
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020170698
Cantidad disponible: Más de 20 disponibles