Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings - neues Buch
2001, ISBN: 3540429352
2001 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Software Enginee… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
2001, ISBN: 9783540429357
Editor: Codognet, Philippe, Springer, Paperback, Auflage: 2001, 379 Seiten, Publiziert: 2001-11-14T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 1.19 kg, AI & Machine Lea… Mehr…
amazon.co.uk |
2001, ISBN: 9783540429357
Editor: Codognet, Philippe, Springer, Paperback, Auflage: 2001, 379 Seiten, Publiziert: 2001-11-14T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 1.19 kg, AI & Machine Lea… Mehr…
amazon.co.uk PsychoBabel & Skoob Books Versandkosten:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.67) Details... |
2001, ISBN: 9783540429357
*Logic Programming* - 17th International Conference ICLP 2001 Paphos Cyprus November 26 - December 1 2001. Proceedings. Auflage 2001 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, E… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
ISBN: 9783540429357
There is currently no description available, Springer
Springer.com Nr. 978-3-540-42935-7. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings - neues Buch
2001, ISBN: 3540429352
2001 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Logikprogrammierung, Computerprogrammierung und Softwareentwicklung, Software Enginee… Mehr…
2001, ISBN: 9783540429357
Editor: Codognet, Philippe, Springer, Paperback, Auflage: 2001, 379 Seiten, Publiziert: 2001-11-14T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 1.19 kg, AI & Machine Lea… Mehr…
2001
ISBN: 9783540429357
Editor: Codognet, Philippe, Springer, Paperback, Auflage: 2001, 379 Seiten, Publiziert: 2001-11-14T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 1.19 kg, AI & Machine Lea… Mehr…
2001, ISBN: 9783540429357
*Logic Programming* - 17th International Conference ICLP 2001 Paphos Cyprus November 26 - December 1 2001. Proceedings. Auflage 2001 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, E… Mehr…
ISBN: 9783540429357
There is currently no description available, Springer
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Programming
EAN (ISBN-13): 9783540429357
ISBN (ISBN-10): 3540429352
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin Heidelberg
384 Seiten
Gewicht: 0,579 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-12-25T22:17:32+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-25T11:31:34+01:00 (Zurich)
ISBN/EAN: 9783540429357
ISBN - alternative Schreibweisen:
3-540-42935-2, 978-3-540-42935-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: philippe
Titel des Buches: logic programming, paphos, logic computer science, through cyprus, november, lecture notes computer science, international conference proceedings, 2001
Daten vom Verlag:
Autor/in: Philippe Codognet
Titel: Lecture Notes in Computer Science; Logic Programming - 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings
Verlag: Springer; Springer Berlin
368 Seiten
Erscheinungsjahr: 2001-11-14
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 368 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Computational Logic; Constraint Logic Programming; Database Logic; Deduction; Formal Verification; Linear Logic; Logic Programming; Mathematical Logic; Program Semanticss; Programming Logics; Prolog Programming; Tabled Logic Programming; logic; programming; Computer System Implementation; Software Engineering; Programming Techniques; Artificial Intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Software Engineering; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; Compiler und Übersetzer; Theoretische Informatik; EA
Invited Speakers.- Solving the Multiplication Constraint in Several Approximation Spaces.- Is Logic Really Dead or Only Just Sleeping?.- Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.- X-tegration — Some Cross-Enterprise Thoughts.- Tutorials.- Building Real-Life Applications with Prolog.- Natural Language Tabular Parsing.- A Close Look at Constraint-Based Concurrency.- Probabilistic Databases and Logic Programming.- Conference Papers.- Understanding Memory Management in Prolog Systems.- PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures.- On a Tabling Engine That Can Exploit Or-Parallelism.- Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family.- Optimizing Compilation of Constraint Handling Rules.- Building Constraint Solvers with HAL.- Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.- Positive Boolean Functions as Multiheaded Clauses.- Higher-Precision Groundness Analysis.- Speculative Beats Conservative Justification.- Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.- A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.- Fixed-Parameter Complexity of Semantics for Logic Programs.- Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.- Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.- Fages’ Theorem for Programs with Nested Expressions.- Semantics of Normal Logic Programs with Embedded Implications.- A Multi-adjoint Logic Approach to Abductive Reasoning.- Proving Correctness and Completeness of Normal Programs — A Declarative Approach.- An Order-Sorted Resolution with ImplicitlyNegative Sorts.- Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.- A Computational Model for Functional Logic Deductive Databases.- A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540456353 Logic Programming (Philippe Codognet)
< zum Archiv...