- 4 Ergebnisse
Kleinster Preis: € 59,49, größter Preis: € 59,49, Mittelwert: € 59,49
1
Extensions of Logic Programming - Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link
Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister:

Extensions of Logic Programming - neues Buch

ISBN: 9783540497516

This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers in… Mehr…

  - new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Extensions of Logic Programming - Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister
Bestellen
bei Springer.com
€ 59,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister:

Extensions of Logic Programming - neues Buch

ISBN: 9783540497516

Computer Science; Programming Languages, Compilers, Interpreters; Computer System Implementation; Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and … Mehr…

  - Versandkosten: EUR 0.00
zuklappen (X)
3
Extensions of Logic Programming - Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link
Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister:
Extensions of Logic Programming - neues Buch

ISBN: 9783540497516

Computer Science; Programming Languages, Compilers, Interpreters; Computer System Implementation; Artificial Intelligence (incl. Robotics); Programming Techniques; Mathematical Logic and … Mehr…

  - Versandkosten:zzgl. Versandkosten.
zuklappen (X)
4
Extensions of Logic Programming - Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister
Bestellen
bei Springer.com
€ 59,49
Bestellen
Details und Versand
gesponserter Link
Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister:
Extensions of Logic Programming - neues Buch

ISBN: 9783540497516

Computer Science; Programming Languages, Compilers, Interpreters; Computer System Implementation; Artificial Intelligence; Programming Techniques; Mathematical Logic and Formal Languages … Mehr…

  - Versandkosten:zzgl. Versandkosten.
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
Extensions of Logic Programming
Autor:
Titel:
ISBN-Nummer:

9783540497516

Detailangaben zum Buch - Extensions of Logic Programming


EAN (ISBN-13): 9783540497516
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-02-04T22:44:24+01:00 (Vienna)
Detailseite zuletzt geändert am 2021-10-18T09:59:03+02:00 (Vienna)
ISBN/EAN: 9783540497516

ISBN - alternative Schreibweisen:
978-3-540-49751-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: schroeder heister, peter dyckhoff, peter heinrich
Titel des Buches: logic programming

Daten vom Verlag:

Autor/in: Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Extensions of Logic Programming - 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Verlag: Springer; Springer Berlin
322 Seiten
Erscheinungsjahr: 2005-07-06
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 322 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Programmiersprachen; Compiler und Übersetzer; Verstehen; Extension; Knowledge Representation; Linear Logic; Logic Programming; Nichtmonotones Schließen; Proof Theory; Wissensrepräsentation; logic; nonmonotonic reasoning; programming; C; Compilers and Interpreters; Computer System Implementation; Artificial Intelligence; Programming Techniques; Formal Languages and Automata Theory; Computer Science; Systemanalyse und -design; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Theoretische Informatik; BC

Semantics of constraint logic programs with bounded quantifiers.- Translating a modal language with embedded implication into Horn clause logic.- Pruning the search space of logic programs.- A significant extension of logic programming by adapting model building rules.- Efficient resource management for linear logic proof search.- A logic language based on GAMMA-like multiset rewriting.- Default negated conclusions: Why not?.- Handling equality in logic programming via basic folding.- An abstract machine for reasoning about situations, actions, and causality.- On the computational complexity of propositional logic programs with nested implications.- Proof-theory for extensions of Logic Programming.- A fibrational semantics for logic programs.- Higher Order Babel: Language and implementation.- A new framework for declarative programming: Categorical perspectives.- Extending constructive negation for partial functions in lazy functional-logic languages.- Super logic programs and negation as belief.- Total correctness of logic programs: A formal approach.- A declarative semantics for the Prolog cut operator.- A definitional approach to functional logic programming.- Soundness and completeness of non-classical extended SLD-resolution.- Some postulates for nonmonotonic theory revision applied to logic programming.
< zum Archiv...