Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

Sprache: Englisch

Verlag: Springer, 2001

3540422544 / 9783540422549

Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 14. August 2006

Softcover

Zustand: Neu

EUR 124,85

EUR 42,58 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Druck auf Anfrage Neuware - Printed after ordering - Invited Talks.- Program Termination Analysis by Size-Change Graphs (Abstract).- SET Cardholder Registration: The Secrecy Proofs.- SET Cardholder Registration: The Secrecy Proofs.- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction.- Algorithms, Datastructures, and other Issues in Efficient Automated Deduction.- Description, Modal and temporal Logics.- The Description Logic ALCNH R + Extended with Concrete Domains: A Practically Motivated Approach.- NExpTime-Complete Description Logics with Concrete Domains.- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.- The Hybrid -Calculus.- The Hybrid -Calculus.- The Inverse Method Implements the Automata Approach for Modal Satisfiability.- The Inverse Method Implements the Automata Approach for Modal Satisfiability.- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.- Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.- Tableaux for Temporal Description Logic with Constant Domains.- Tableaux for Temporal Description Logic with Constant Domains.- Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.- Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.- Saturation Based Theorem Proving, Applications, and Data Structures.- Instructing Equational Set-Reasoning with Otter.- NP-Completeness of Refutability by Literal-Once Resolution.- Ordered Resolution vs. Connection Graph resolution.- A Model-Based Completeness Proof of Extended Narrowing and Resolution.- A Model-Based Completeness Proof of Extended Narrowing and Resolution.-A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality.- A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality.- Superposition and Chaining for Totally Ordered Divisible Abelian Groups.- Superposition and Chaining for Totally Ordered Divisible Abelian Groups.- Context Trees.- Context Trees.- On the Evaluation of Indexing Techniques for Theorem Proving.- On the Evaluation of Indexing Techniques for Theorem Proving.- Logic Programming and Nonmonotonic Reasoning.- Preferred Extensions of Argumentation Frameworks: Query, Answering, and Computation.- Bunched Logic Programming.- A Top-Down Procedure for Disjunctive Well-Founded Semantics.- A Second-Order Theorem Prover Applied to Circumscription.- NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics.- NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics.- Propositional Satisfiability and Quantified Boolean Logic.- Conditional Pure Literal Graphs.- Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability.- QuBE: A System for Deciding Quantified Boolean Formulas Satisfiability.- System Abstract: E 0.61.- Vampire 1.1.- DCTP - A Disconnection Calculus Theorem Prover - System Abstract.- DCTP - A Disconnection Calculus Theorem Prover - System Abstract.- Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving.- More On Implicit Syntax.- Termination and Reduction Checking for Higher-Order Logic Programs.- P.rex: An Interactive Proof Explainer.- JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.- Semantic Guidance.- The eXtended Least Number Heuristic.- System Description: SCOTT-5.- Combination of Distributed Search and Multi-Search in Peers-mcd.d.- Lotrec: The Generic Tableau Prover for Modal and Description Logics.- The modprof Theorem Prover.- A New System and Methodology for Generating Random Modal Formulae.- Equational Theorem Proving and Term Rewriting.- Decidable Classes of Inductive Theorems.- Automated Incremental Termination Proofs for Hierarchically Defined T.…

Bestandsnummer des Verkäufers 9783540422549

Titel
Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Autor
Alexander Leitsch
Verlag
Springer
Erscheinungsjahr
2001
Zustand
Neu
Einband
Taschenbuch
Sprache
Englisch
ISBN-10
3540422544
ISBN-13
9783540422549
Artikelgewicht
1.083 Gramm
Abmessungen
235x155x39 mm

AHA-BUCH GmbH

Einbeck, Deutschland

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 14. August 2006

Versandkosten von Deutschland nach USA

Artikel7 bis 10 Werktage5 bis 7 Werktage
Erster ArtikelEUR 42,58EUR 58,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Vorauskasse

Shopbeschreibung

Das Unternehmen AHA-BUCH GmbH: Seit der Gründung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisgünstig wie möglich ihren Bücherwunsch zu erfüllen. Unsere Firma beschäftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine Wünsche! Auf über 3700 m2 Fläche haben wir über 100.000 Bücher, Modernes Antiquariat und Spiele auf Lager.

Spezialisierung

Kinderbücher & Kinderhör Casetten, German Books, Software, Natur & Tiere, Ratgeber, Sachbücher, Englische Bücher, Medizin & Gesundheit, Universität & Studium

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

AHA-BUCH GmbH

Garlebsen 48
Einbeck, Deutschland 37574