- 5 Ergebnisse
Kleinster Preis: € 7,00, größter Preis: € 57,66, Mittelwert: € 18,83
1
Meta-Programming in Logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - Pettorossi, Alberto (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Pettorossi, Alberto (Herausgeber):

Meta-Programming in Logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - neues Buch

1992, ISBN: 3540562826

1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematische Grundlagen, Software Engineering, Theoretische Informatik, Künstliche I… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
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
Bestellen
Details beim Anbieter
gesponserter 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
zuklappen (X)
3
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
Bestellen
Details beim Anbieter
gesponserter 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)]
zuklappen (X)
4
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 Achtung-Buecher.de
€ 12,50
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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

1992 Softcover 351 p. Broschiert ATTENTION 1992 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540562825 Logische Programmierung ; Metaprogrammierung ; … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Roland Antiquariat UG (haftungsbeschränkt) Ali Mert, 69469 Weinheim
zuklappen (X)
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
Bestellen
Details beim Anbieter
gesponserter 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
zuklappen (X)
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
Autor:
Titel:
ISBN-Nummer:

3540562826


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 (Zurich)
Detailseite zuletzt geändert am 2024-03-25T15:40:56+01:00 (Zurich)
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...