- 5 Resultados
precio mínimo: € 7,00, precio máximo: € 57,66, precio promedio: € 18,83
1
Meta-Programming in Logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - Pettorossi, Alberto (Herausgeber)
Pedir
por Achtung-Buecher.de
€ 57,66
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Pettorossi, Alberto (Herausgeber):

Meta-Programming in Logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - libro nuevo

1992, ISBN: 3540562826

1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematische Grundlagen, Software Engineering, Theoretische Informatik, Künstliche I… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
cerrar (X)
2
Meta-Programming in Logic. Third Intern. Workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings. (=Lecture Notes in Computer Science; 649). - Pettorossi, A. (Ed.)
Pedir
por booklooker.de
€ 7,00
Envío: € 3,801
Pedir
Detalles del proveedor
Enlace patrocinado

Pettorossi, A. (Ed.):

Meta-Programming in Logic. Third Intern. Workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings. (=Lecture Notes in Computer Science; 649). - Pasta blanda

1992, ISBN: 9783540562825

[PU: Springer Berlin], 351 S. Paperback/ broschiert Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369, DE, [SC: 3.80], gebraucht; g… Más…

Gastos de envío:Versand nach Deutschland. (EUR 3.80) ralfs-buecherkiste
cerrar (X)
3
Meta-Programming in Logic. Third Intern. Workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings. (=Lecture Notes in Computer Science; 649). - Pettorossi, A. (Ed.)
Pedir
por AbeBooks.de
€ 7,00
Envío: € 3,951
Pedir
Detalles del proveedor
Enlace patrocinado
Pettorossi, A. (Ed.):
Meta-Programming in Logic. Third Intern. Workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings. (=Lecture Notes in Computer Science; 649). - Pasta blanda

1992

ISBN: 3540562826

[EAN: 9783540562825], Gebraucht, sehr guter Zustand, [PU: Springer Berlin], 351 S. Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369 Sp… Más…

NOT NEW BOOK. Gastos de envío: EUR 3.95 ralfs-buecherkiste, Herzfelde, MOL, Germany [54202959] [Rating: 5 (von 5)]
cerrar (X)
4
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649, Band 649) - Pettorossi, Alberto
Pedir
por Achtung-Buecher.de
€ 12,50
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Pettorossi, Alberto:
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649, Band 649) - Pasta blanda

1992, ISBN: 3540562826

1992 Softcover 351 p. Broschiert ATTENTION 1992 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540562825 Logische Programmierung ; Metaprogrammierung ; … Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Roland Antiquariat UG (haftungsbeschränkt) Ali Mert, 69469 Weinheim
cerrar (X)
5
Meta-Programming in Logic. Third Intern. Workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings. (=Lecture Notes in Computer Science; 649). - Pettorossi, A. (Ed.)
Pedir
por Achtung-Buecher.de
€ 10,00
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Pettorossi, A. (Ed.):
Meta-Programming in Logic. Third Intern. Workshop, META-92 Uppsala, Sweden, June 10-12, 1992 Proceedings. (=Lecture Notes in Computer Science; 649). - Pasta blanda

1992, ISBN: 3540562826

Paperback/ broschiert 351 S. Broschiert Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369 3, [PU:Springer Berlin,]

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) ralfs-buecherkiste Ralf Neubauer, 15378 Herzfelde
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Meta-Programming in Logic
Autor:
Título:
ISBN:

3540562826


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.

Detalles del libro - Meta-Programming in Logic


EAN (ISBN-13): 9783540562825
ISBN (ISBN-10): 3540562826
Tapa dura
Tapa blanda
Año de publicación: 1992
Editorial: Springer Berlin Heidelberg
368 Páginas
Peso: 0,556 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-05-18T09:05:10+02:00 (Madrid)
Página de detalles modificada por última vez el 2024-03-25T15:40:56+01:00 (Madrid)
ISBN/EAN: 3540562826

ISBN - escritura alterna:
3-540-56282-6, 978-3-540-56282-5
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: petto
Título del libro: meta, sweden, proceedings international workshop, 1992 band, logic programming, logic computer science, lecture, 649, proceedings june 1992, science notes, intern

Datos del la editorial

Autor: Alberto Pettorossi
Título: Lecture Notes in Computer Science; Meta-Programming in Logic - Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Editorial: Springer; Springer Berlin
351 Páginas
Año de publicación: 1992-12-02
Berlin; Heidelberg; DE
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 351 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; Resolution; databases; logic; optimization; programming; programming language; semantics; Theory of Computation; Software Engineering; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Artificial Intelligence; Software Engineering; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; EA

Belief revision: A vade-mecum.- Metaprogramming through intensional deduction: Some examples.- An autoepistemic analysis of metalevel reasoning in logic programming.- An introduction to partial deduction.- Tutorial on termination of logic programs.- Definable naming relations in meta-level systems.- Meta for modularising logic programming.- Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog primitives.- Reflective agents in metalogic programming.- Logic meta-programming facilities in 'LOG.- The Pandora deadlock handler meta-level relation.- Object-oriented programming in Gödel: An experiment.- A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation.- A complete resolution method for logical meta-programming languages.- Model theoretic semantics for Demo.- Hierarchical meta-logics: Intuitions, proof theory and semantics.- Negation and control in automatically generated logic programs.- Transforming normal programs by replacement.- Meta-programming for reordering literals in deductive databases.- Propagation: a new operation in a framework for abstract interpretation of logic programs.- CLP({ie308-01}) for proving interargument relations.- Representation of fragmentary multilayered knowledge.- Metaprograms for change, assumptions, objects, and inheritance.
< para archivar...