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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Indigo.ca new in stock. Versandkosten:zzgl. Versandkosten. Details... |
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…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
2002, ISBN: 9783540439301
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2002
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 9.95) Details... |
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…
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…
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…
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…
2002, ISBN: 9783540439301
18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2002
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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...