Logic programming 11th international (42 Ergebnisse)

Zustand: New.

Zustand: New.

Paperback. Zustand: Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Paperback or Softback. Zustand: New. Functional and Logic Programming: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings. Book.

Paperback or Softback. Zustand: New. Logic Programming and Nonmonotonic Reasoning: 11th International Conference, Lpnmr 2011, Vancouver, Canada, May 16-19, 2011, Proceedings. Book.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: New.

Zustand: As New. Unread book in perfect condition.

Zustand: As New. Unread book in perfect condition.

Paperback. Zustand: Brand New. 1st edition. 185 pages. 9.00x6.00x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 2012 edition. 343 pages. 9.25x6.10x0.78 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 419 pages. 9.30x6.10x0.90 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed and extended post-proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, held in Caparica, Portugal in June 2006. The papers are organized in topical sections on global constraints, search and heuristics, language and implementation issues, and modeling.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - A Refinement Operator for Theories.- Learning Logic Programs with Neural Networks.- A Genetic Algorithm for Propositionalization.- Classifying Uncovered Examples by Rule Stretching.- Relational Learning Using Constrained Confidence-Rated Boosting.- Induction, Abduction, and Consequence-Finding.- From Shell Logs to Shell Scripts.- An Automated ILP Server in the Field of Bioinformatics.- Adaptive Bayesian Logic Programs.- Towards Combining Inductive Logic Programming with Bayesian Networks.- Demand-Driven Construction of Structural Features in ILP.- Transformation-Based Learning Using Multirelational Aggregation.- Discovering Associations between Spatial Objects: An ILP Application.- -Subsumption in a Constraint Satisfaction Perspective.- Learning to Parse from a Treebank: Combining TBL and ILP.- Induction of Stable Models.- Application of Pruning Techniques for Propositional Learning to Progol.- Application of ILP to Cardiac Arrhythmia Characterization for Chronicle Recognition.- Efficient Cross-Validation in ILP.- Modelling Semi-structured Documents with Hedges for Deduction and Induction.- Learning Functions from Imperfect Positive Data.…

Taschenbuch. Zustand: Neu. Recent Advances in Constraints | 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers | Francisco Azevedo (u. a.) | Taschenbuch | viii | Englisch | 2007 | Springer | EAN 9783540738169 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 406 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 331 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - CERES in Many-Valued Logics.- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.- Abstract DPLL and Abstract DPLL Modulo Theories.- Combining Lists with Non-stably Infinite Theories.- Abstract Model Generation for Preprocessing Clause Sets.- Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying.- Applications of General Exact Satisfiability in Propositional Logic Modelling.- BCiC: A System for Code Authentication and Verification.- Ordered Resolution with Selection for .- On a Semantic Subsumption Test.- Suitable Graphs for Answer Set Programming.- Weighted Answer Sets and Applications in Intelligence Analysis.- How to Fix It: Using Fixpoints in Different Contexts.- Reasoning About Systems with Transition Fairness.- Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games.- How the Location of \* Influences Complexity in Kleene Algebra with Tests.- The Equational Theory of , 0, 1, + , ×, Is Decidable, but Not Finitely Axiomatisable.- A Trichotomy in the Complexity of Propositional Circumscription.- Exploiting Fixable, Removable, and Implied Values in Constraint Satisfaction Problems.- Evaluating QBFs via Symbolic Skolemization.- The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs.- Automated Termination Analysis for Incompletely Defined Programs.- Automatic Certification of Heap Consumption.- A Formalization of Off-Line Guessing for Security Protocol Analysis.- Abstraction-Carrying Code.- A Verification Environment for Sequential Imperative Programs in Isabelle/HOL.- Can a Higher-Order and a First-Order Theorem Prover Cooperate .- A Generic Framework for Interprocedural Analyses of NumericalProperties.- Second-Order Matching via Explicit Substitutions.- Knowledge-Based Synthesis of Distributed Systems Using Event Structures.- The Inverse Method for the Logic of Bunched Implications.- Cut-Elimination: Experiments with CERES.- Uniform Rules and Dialogue Games for Fuzzy Logics.- Nonmonotonic Description Logic Programs: Implementation and Experiments.- Implementing Efficient Resource Management for Linear Logic Programming.- Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.…

Paperback. Zustand: Brand New. 1st edition. 562 pages. German language. 6.00x9.25x1.00 inches. In Stock.

Zustand: As New. Unread book in perfect condition.