9783540562825 - meta-programming in logic: third international workshop, meta-92, uppsala, sweden, june 10-12, 1992. proceedings (lecture notes in computer science, 649, band 649) von pettorossi, alberto (5 Ergebnisse)
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 47,80
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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.
- Softcover
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, DeutschlandRoland Antiquariat UG haftungsbeschränkt
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 7,50
EUR 42,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Softcover. 1992. 351 p. ATTENTION 1992 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540562825 Sprache: Englisch Gewicht in Gramm: 1000.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,52
EUR 14,09 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschlandralfs-buecherkiste
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 7,00
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Paperback/ broschiert. Zustand: Gut. 351 S. Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369 Sprache: Englisch Gewicht in Gramm: 600.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,79 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 metaprogrammi…ng 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.
