Softcover. 1992. 351 p. ATTENTION 1992 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540562825 Sprache: Englisch Gewicht in Gramm: 1000.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Springer Berlin / Heidelberg, 1992
ISBN 10: 3540562826 ISBN 13: 9783540562825
Seller: Better World Books, Mishawaka, IN, U.S.A.
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Taschenbuch. Condition: 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 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.
Taschenbuch. Condition: Neu. Meta-Programming in Logic | Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings | Alberto Pettorossi | Taschenbuch | xii | Englisch | 1992 | Springer | EAN 9783540562825 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Mispah books, Redhill, SURRE, United Kingdom
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.