Deutsch
Schweiz
Anmelden
Tipp von eurobuch.ch
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 8,00 €, größter Preis: 98,74 €, Mittelwert: 59,75 €
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer - Alberto Pettorossi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Alberto Pettorossi:
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer - gebrauchtes Buch

1992, ISBN: 3540562826

ID: 6996140

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. artificial intelligence,computer science,computers and technology,education and reference,human vision and language systems,languages and tools,mathematics,programming,science and math,software Software, Springer

gebrauchtes bzw. antiquarisches Buch Thriftbooks.com
used Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - Pettorossi, Alberto / Pettorossi, A.
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Pettorossi, Alberto / Pettorossi, A.:
Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - gebrauchtes Buch

1992, ISBN: 9783540562825

ID: 7965051

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. Meta-Programming in Logic: Third International Workshop, Meta-92, Uppsala, Sweden, June 10-12, 1992. Proceedings Pettorossi, Alberto / Pettorossi, A., Springer

gebrauchtes bzw. antiquarisches Buch Betterworldbooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Meta-Programming in Logic - Alberto Pettorossi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Alberto Pettorossi:
Meta-Programming in Logic - neues Buch

ISBN: 9783540562825

ID: 212145293

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. Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings Bücher > Fremdsprachige Bücher > Englische Bücher Taschenbuch 02.12.1992 Buch (fremdspr.), Springer, .199

Neues Buch Buch.ch
No. 1875242 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Meta-Programming in Logic - Alberto Pettorossi
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Alberto Pettorossi:
Meta-Programming in Logic - neues Buch

ISBN: 9783540562825

ID: 746514454

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. Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings Buch (fremdspr.) Bücher>Fremdsprachige Bücher>Englische Bücher, Springer

Neues Buch Thalia.de
No. 1875242 Versandkosten:, Versandfertig in 2 - 3 Tagen, DE (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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.)
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
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). - Taschenbuch

1992, ISBN: 3540562826

ID: 7532387163

[EAN: 9783540562825], [PU: Springer Berlin,], COMPUTERWISSENSCHAFTEN META-PROGRAMM, Mathematics|General, 351 S. Guter Zustand With figures. Ex-Library. Stamped edges. Sprache: Englisch Gewicht in Gramm: 100 Paperback/ broschiert broschiert/ Taschenbuch

gebrauchtes bzw. antiquarisches Buch Abebooks.de
Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany [1309982] [Rating: 5 (von 5)]
Versandkosten: EUR 8.04
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Meta-Programming in Logic

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.

Detailangaben zum Buch - Meta-Programming in Logic


EAN (ISBN-13): 9783540562825
ISBN (ISBN-10): 3540562826
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer-Verlag GmbH
368 Seiten
Gewicht: 0,556 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 18.05.2007 09:05:10
Buch zuletzt gefunden am 14.07.2017 09:36:57
ISBN/EAN: 3540562826

ISBN - alternative Schreibweisen:
3-540-56282-6, 978-3-540-56282-5


< zum Archiv...
Benachbarte Bücher