- 5 Ergebnisse
Kleinster Preis: € 7,00, größter Preis: € 53,49, Mittelwert: € 17,00
1
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.)
Bestellen
bei booklooker.de
€ 7,00
Versand: € 3,801
Bestellengesponserter Link
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: 9783540562825

[PU: Springer Berlin], 351 S. Paperback/ broschiert Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369, DE, [SC: 3.80], gebraucht; g… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 3.80) ralfs-buecherkiste
2
Meta-Programming in Logic: Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science, 649, Band 649) - Pettorossi, Alberto
Bestellen
bei AbeBooks.de
€ 7,50
Versand: € 2,501
Bestellengesponserter Link

Pettorossi, Alberto:

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

1992, ISBN: 3540562826

[EAN: 9783540562825], [PU: Springer], LOGISCHE PROGRAMMIERUNG ; METAPROGRAMMIERUNG KONGRESS UPPSALA, 351 p. ATTENTION 1992 EDITION!!! Unread book. Very good condition. Possibly minimal st… Mehr…

Versandkosten: EUR 2.50 Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany [1047880] [Rating: 5 (von 5)]
3
Meta-Programming in Logic - Alberto Pettorossi
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Alberto Pettorossi:
Meta-Programming in Logic - Taschenbuch

ISBN: 9783540562825

*Meta-Programming in Logic* - Third International Workshop META-92 Uppsala Sweden June 10-12 1992. Proceedings. Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, English,,… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
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.)
Bestellen
bei AbeBooks.de
€ 7,00
Versand: € 3,951
Bestellengesponserter Link
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

[EAN: 9783540562825], Gebraucht, sehr guter Zustand, [PU: Springer Berlin], 351 S. Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369 Sp… Mehr…

NOT NEW BOOK. Versandkosten: EUR 3.95 ralfs-buecherkiste, Herzfelde, MOL, Germany [54202959] [Rating: 5 (von 5)]
5
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.)
Bestellen
bei Achtung-Buecher.de
€ 10,00
Versand: € 0,001
Bestellengesponserter Link
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

Paperback/ broschiert 351 S. Broschiert Computerwissenschaften Meta-Programm Guter Zustand With figures. Ex-Library. Stamped edges. ha1061369 3, [PU:Springer Berlin,]

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) ralfs-buecherkiste Ralf Neubauer, 15378 Herzfelde

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

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
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin Heidelberg
368 Seiten
Gewicht: 0,556 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-18T09:05:10+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-30T18:58:26+01:00 (Vienna)
ISBN/EAN: 3540562826

ISBN - alternative Schreibweisen:
3-540-56282-6, 978-3-540-56282-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: petto
Titel des Buches: meta, sweden, proceedings international workshop, 1992 band, logic programming, logic computer science, lecture, 649, proceedings june 1992, science notes, intern


Daten vom Verlag:

Autor/in: Alberto Pettorossi
Titel: Lecture Notes in Computer Science; Meta-Programming in Logic - Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Verlag: Springer; Springer Berlin
351 Seiten
Erscheinungsjahr: 1992-12-02
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 351 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Automat; Resolution; databases; logic; optimization; programming; programming language; semantics; Theory of Computation; Software Engineering; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Artificial Intelligence; Software Engineering; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; EA

Belief revision: A vade-mecum.- Metaprogramming through intensional deduction: Some examples.- An autoepistemic analysis of metalevel reasoning in logic programming.- An introduction to partial deduction.- Tutorial on termination of logic programs.- Definable naming relations in meta-level systems.- Meta for modularising logic programming.- Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog primitives.- Reflective agents in metalogic programming.- Logic meta-programming facilities in 'LOG.- The Pandora deadlock handler meta-level relation.- Object-oriented programming in Gödel: An experiment.- A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation.- A complete resolution method for logical meta-programming languages.- Model theoretic semantics for Demo.- Hierarchical meta-logics: Intuitions, proof theory and semantics.- Negation and control in automatically generated logic programs.- Transforming normal programs by replacement.- Meta-programming for reordering literals in deductive databases.- Propagation: a new operation in a framework for abstract interpretation of logic programs.- CLP({ie308-01}) for proving interargument relations.- Representation of fragmentary multilayered knowledge.- Metaprograms for change, assumptions, objects, and inheritance.

< zum Archiv...