Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Versand:
Gratis
Innerhalb der USA
Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783540562825
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020170698
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540562825_lsuk
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung 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 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. Bestandsnummer des Verkäufers 9783540562825
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: 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. Bestandsnummer des Verkäufers 4893890
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540562825
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren