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

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649, Band 649)

Editor

Springer

Fecha de publicaci�n

1992

Idioma

Ingl�s

ISBN 10

3540562826

ISBN 13

9783540562825

Encuadernaci�n

Softcover

Edici�n

1992.

Cat�logos de vendedores

Informatik

Acerca de

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Das Roland Antiquariat ist ein im Jahre 2001 gegr�ndetes Versand-Antiquariat mit einem breiten Sortiment antiquarischer und seltener B�cher aus zahlreichen Gebieten. Schwerpunkte sind Fotob�cher, Geschichte, Milit�rgeschichte, Kulturgeschichte,Philosophie, Orts- und Landeskunde sowie generell wissenschaftliche Literatur. Zur Erweiterung unseres Sortiments sind wir stets am Ankauf interessanter Einzelst�cke sowie gr��erer Sammlungen zu einem Thema oder auch ganzer Bibliotheken, vorzugsweise wissenschaftlichen Inhalts, interessiert. Rufen Sie uns gerne an unter 06201-7303617 oder schreiben Sie eine mail an info@rolandantiquariat.de. Als Versandantiquariat f�hren wir kein Ladengesch�ft mit festen �ffungszeiten, Besucher sind jedoch nach telefonischer Voranmeldung jederzeit willkommen.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Roland Antiquariat UG (haftungsbeschr�nkt)
M�hlweg 11, Weinheim, 69469, Germany

Condiciones de venta y env�o

Condiciones de venta

Impressum: Roland Antiquariat UG (haftungsbeschr�nkt), M�hlweg 11, 69469 Weinheim, Deutschland Tel.: 06201-7303617 Fax: 06201-2749959 E-Mail: info@rolandantiquariat.de Registergericht: Amtsgericht Mannheim Registernummer: HRB 725900 Gesch�ftsf�hrer: Ali Mert Umsatzsteuer-Identifikationsnummer gem�� 27 a Umsatzsteuergesetz: DE266059823 Link zur k�nftigen EU-Plattform zur Online-Streitbeilegung: www.ec.europa.eu/consumers/odr