- 5 Résultats
prix le plus bas: € 7,00, prix le plus élevé: € 57,66, prix moyen: € 18,83
1
Meta-Programming in Logic Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings - Pettorossi, Alberto (Herausgeber)
Commander
sur Achtung-Buecher.de
€ 57,66
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Pettorossi, Alberto (Herausgeber):

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

1992, ISBN: 3540562826

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

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
fermer(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.)
Commander
sur booklooker.de
€ 7,00
Envoi: € 3,801
Commander
Détails du fournisseur
Lien sponsorisé

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). - Livres de poche

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… Plus…

Frais d'envoiVersand nach Deutschland. (EUR 3.80) ralfs-buecherkiste
fermer(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.)
Commander
sur AbeBooks.de
€ 7,00
Envoi: € 3,951
Commander
Détails du fournisseur
Lien sponsorisé
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). - Livres de poche

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… Plus…

NOT NEW BOOK. Frais d'envoi EUR 3.95 ralfs-buecherkiste, Herzfelde, MOL, Germany [54202959] [Rating: 5 (von 5)]
fermer(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
Commander
sur Achtung-Buecher.de
€ 12,50
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
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) - Livres de poche

1992, ISBN: 3540562826

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

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Roland Antiquariat UG (haftungsbeschränkt) Ali Mert, 69469 Weinheim
fermer(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.)
Commander
sur Achtung-Buecher.de
€ 10,00
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
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). - Livres de poche

1992, ISBN: 3540562826

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

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) ralfs-buecherkiste Ralf Neubauer, 15378 Herzfelde
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Meta-Programming in Logic
Auteur:
Titre:
ISBN:

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.

Informations détaillées sur le livre - Meta-Programming in Logic


EAN (ISBN-13): 9783540562825
ISBN (ISBN-10): 3540562826
Version reliée
Livre de poche
Date de parution: 1992
Editeur: Springer Berlin Heidelberg
368 Pages
Poids: 0,556 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-05-18T09:05:10+02:00 (Paris)
Page de détail modifiée en dernier sur 2024-03-25T15:40:56+01:00 (Paris)
ISBN/EAN: 3540562826

ISBN - Autres types d'écriture:
3-540-56282-6, 978-3-540-56282-5
Autres types d'écriture et termes associés:
Auteur du livre: petto
Titre du livre: meta, sweden, proceedings international workshop, 1992 band, logic programming, logic computer science, lecture, 649, proceedings june 1992, science notes, intern

Données de l'éditeur

Auteur: Alberto Pettorossi
Titre: Lecture Notes in Computer Science; Meta-Programming in Logic - Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings
Editeur: Springer; Springer Berlin
351 Pages
Date de parution: 1992-12-02
Berlin; Heidelberg; DE
Langue: Anglais
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.
< pour archiver...