. .
Deutsch
Österreich
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.at

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.at
Werbung
Bezahlte Anzeige
FILTER
- 0 Ergebnisse
Kleinster Preis: 4.81 EUR, größter Preis: 85.20 EUR, Mittelwert: 29.4 EUR
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: 125785998

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 International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings (Lecture Notes in Computer Science) - Pettorossi, Alberto
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Pettorossi, Alberto:

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

2008, ISBN: 3540562826

ID: 12752634962

[EAN: 9783540562825], Gebraucht, sehr guter Zustand, [SC: 3.0], [PU: Springer,], KÜNSTLICHE INTELLIGENZ / SOFTWAREENTWICKLUNG LOGIK, 368 Seiten Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 655041.01 Sprache: Englisch Gewicht in Gramm: 1161

gebrauchtes bzw. antiquarisches Buch ZVAB.com
getbooks GmbH, Idstein, HE, Germany [55883480] [Rating: 5 (von 5)]
NOT NEW BOOK Versandkosten: EUR 3.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: 423162

351 S. Paperback/ broschiert broschiert/ Taschenbuch Guter Zustand With figures. Ex-Library. Stamped edges. Versand D: 3,50 EUR Computerwissenschaften Meta-Programm, [PU:Springer Berlin,]

gebrauchtes bzw. antiquarisches Buch Buchfreund.de
Antiquariat Thomas Haker GmbH & Co. KG, 10439 Berlin
Versandkosten:Versandkosten innerhalb der BRD (EUR 3.50)
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: 423162

351 S. Paperback/ broschiert broschiert/ Taschenbuch Guter Zustand With figures. Ex-Library. Stamped edges. Versand D: 3,00 EUR Computerwissenschaften Meta-Programm, [PU:Springer Berlin,]

gebrauchtes bzw. antiquarisches Buch Buchfreund.de
Antiquariat Thomas Haker GmbH & Co. KG, 10439 Berlin
Versandkosten:Versandkosten innerhalb der BRD (EUR 3.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: 9783540562825

[PU: Springer Berlin], 351 S. Paperback/ broschiert Guter Zustand With figures. Ex-Library. Stamped edges., [SC: 3.00], gewerbliches Angebot, [GW: 100g]

gebrauchtes bzw. antiquarisches Buch Booklooker.de
Antiquariat Thomas Haker GmbH & Co. KG
Versandkosten:Versand nach Deutschland (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Meta-Programming in Logic
Autor:

Alberto Pettorossi

Titel:

Meta-Programming in Logic

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
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 07.08.2016 12:34:47
ISBN/EAN: 3540562826

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

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher