- 5 Ergebnisse
Kleinster Preis: € 96,29, größter Preis: € 117,65, Mittelwert: € 101,40
1
Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings - Stuckey, Peter J. (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 100,09
Versand: € 0,001
Bestellengesponserter Link
Stuckey, Peter J. (Herausgeber):

Logic Programming 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings - neues Buch

2002, ISBN: 3540439307

2002 Kartoniert / Broschiert Logikprogrammierung, Mathematische Grundlagen, Betriebssysteme, Computerprogrammierung und Softwareentwicklung, Compiler und Übersetzer, Programmier- und Sk… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Bestellen
bei Indigo.ca
C$ 168,95
(ca. € 117,65)
Bestellengesponserter Link
Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings - neues Buch

2002, ISBN: 9783540439301

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full p… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
3
Logic Programming
Bestellen
bei Hugendubel.de
€ 96,49
Versand: € 0,001
Bestellengesponserter Link
Logic Programming - Taschenbuch

2002

ISBN: 9783540439301

Logic Programming ab 96.49 € als Taschenbuch: 18th International Conference ICLP 2002 Copenhagen Denmark July 29 - August 1 2002 Proceedings. Auflage 2002. Aus dem Bereich: Bücher, Englis… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
Logic Programming
Bestellen
bei Hugendubel.de
€ 96,49
Versand: € 0,001
Bestellengesponserter Link
Logic Programming - Taschenbuch

2002, ISBN: 9783540439301

Logic Programming ab 96.49 € als Taschenbuch: 18th International Conference ICLP 2002 Copenhagen Denmark July 29 - August 1 2002 Proceedings. Auflage 2002. Aus dem Bereich: Bücher, Ratgeb… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Logic Programming - Peter J. Stuckey
Bestellen
bei lehmanns.de
€ 96,29
Versand: € 9,951
Bestellengesponserter Link
Peter J. Stuckey:
Logic Programming - Taschenbuch

2002, ISBN: 9783540439301

18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2002

Versandkosten:Versand in 10-14 Tagen. (EUR 9.95)

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
Logic Programming

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.

Detailangaben zum Buch - Logic Programming


EAN (ISBN-13): 9783540439301
ISBN (ISBN-10): 3540439307
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2002
Herausgeber: Springer Berlin Heidelberg
498 Seiten
Gewicht: 0,745 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-15T07:42:59+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-04-04T10:09:34+02:00 (Vienna)
ISBN/EAN: 9783540439301

ISBN - alternative Schreibweisen:
3-540-43930-7, 978-3-540-43930-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: steyer, stuckey, springer peter
Titel des Buches: logic programming, copenhagen, logic computer science, august, you know denmark


Daten vom Verlag:

Autor/in: Peter J. Stuckey
Titel: Lecture Notes in Computer Science; Logic Programming - 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings
Verlag: Springer; Springer Berlin
486 Seiten
Erscheinungsjahr: 2002-07-17
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 486 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; computational logic; constraint logic; deduction; formal verification; linear logic; logic; logic programming; mathematical logic; program semantics; programming; programming logics; prolog programming; Computer System Implementation; Software Engineering; Mathematical Logic and Foundations; Artificial Intelligence; Programming Techniques; Compilers and Interpreters; Software Engineering; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; EA

Invited Speakers.- Representing Arithmetic Constraints with Finite Automata: An Overview.- Logic Databases on the Semantic Web: Challenges and Opportunities.- Conference Papers.- An Abductive Approach for Analysing Event-Based Requirements Specifications.- Trailing Analysis for HAL.- Access Control for Deductive Databases by Logic Programming.- Reasoning about Actions with CHRs and Finite Domain Constraints.- Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems.- Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints.- Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.- A Model Theoretic Semantics for Multi-level Secure Deductive Databases.- Propagation Completeness of Reactive Constraints.- On Enabling the WAM with Region Support.- A Different Look at Garbage Collection for the WAM.- Copying Garbage Collection for the WAM: To Mark or Not to Mark?.- Logical Algorithms.- Logical Loops.- Learning in Logic with RichProlog.- Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification.- A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming.- Proving the Equivalence of CLP Programs.- A Purely Logical Account of Sequentiality in Proof Search.- Disjunctive Explanations.- Reasoning with Infinite Stable Models II: Disjunctive Programs.- Computing Stable Models: Worst-Case Performance Estimates.- Towards Local Search for Answer Sets.- A Rewriting Method for Well-Founded Semantics with Explicit Negation.- Embedding Defeasible Logic into Logic Programs.- A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.- Using Logic Programming to Detect Activities in Pervasive Healthcare.- Logic Programming for Software Engineering: A Second Chance.- A Logic-Based System for Application Integration.- Conference Papers.- The Limits of Horn Logic Programs.- Multi-adjoint Logic Programming: A Neural Net Approach.- Fuzzy Prolog: A Simple General Implementation Using CLP( ).- Automated Analysis of CLP(FD) Program Execution Traces.- Schema-Based Transformations of Logic Programs in ?Prolog.- Non-uniform Hypothesis in Deductive Databases with Uncertainty.- Probabilistic Finite Domains: A Brief Overview.- Modelling Multi-agent Reactive Systems.- Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming.- A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs.- TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.- Logical Grammars Based on Constraint Handling Rules.- Debugging in A-Prolog: A Logical Approach.
Includes supplementary material: sn.pub/extras

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540456193 Logic Programming (Peter J. Stuckey)


< zum Archiv...