Automated Deduction - CADE 29

Lingua: inglese

Editore: Springer, Springer Sep 2023, 2023

3031384989 / 9783031384981

Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Brossura

Condizione: Nuovo

EUR 42,79

EUR 60,00 spedizione 
Spedito da Germania a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

This item is printed on demand - Print on Demand Titel. Neuware -Certified Core-Guided MaxSAT Solving.- Superposition with Delayed Unification.- On Incremental Pre-processing for SMT.- Verified Given Clause Procedures.- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.- An Isabelle/HOL Formalization of the SCL(FOL) Calculus.- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.- Formal Reasoning about Influence in Natural Sciences Experiments.- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).- SAT-Based Subsumption Resolution.- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper).- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper).- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT.- Proving Termination of C Programs with Lists.- Reasoning about Regular Properties: A Comparative Study.- Program Synthesis in Saturation.- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.- Verification of NP-hardness Reduction Functions for Exact Lattice Problems.- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.- Left-Linear Completion with AC Axioms.- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+.- Theorem Proving in Dependently-Typed Higher-Order Logic.- Towards Fast Nominal Anti-Unification of Letrec-Expressions.- Confluence Criteria for Logically Constrained Rewrite Systems.- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper).- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness.- Decidability of difference logic over the reals with uninterpreted unary predicates.- Incremental Rewriting Modulo SMT.- Iscalc: an Interactive Symbolic Computation Framework (System Description).Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 620 pp. Englisch.…

Codice articolo 9783031384981

Titolo
Automated Deduction - CADE 29
Autore
Brigitte Pientka
Editore
Springer, Springer Sep 2023
Anno di pubblicazione
2023
Condizione
Neu
Rilegatura
Taschenbuch
Lingua
inglese
ISBN 10
3031384989
ISBN 13
9783031384981
Peso dell'articolo
925 grammi
Dimensioni
235x155x34 mm

buchversandmimpf2000

Emtmannsberg, BAYE, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 23 gennaio 2017

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 60 a 60 giorni lavorativiDa 60 a 60 giorni lavorativi
Primo articoloEUR 60,00EUR 75,00
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Assegno
  • PayPal

Descrizione dello Store

Impressum Thorsten Retsch Buchversand Mimpf2000 Oberölschnitz 16 95517 Emtmannsberg Deutschland Telefon: 09209-2023188 Email: mimpf2000@online.de USt-ID-Nr.: DE 235096871 Wir führen gebrauchte Bücher aus allen Sparten der Literatur

Specializzazione

Modernes Antiquariat - Bücher von 1960 bis heute

Informazioni sull’azienda del venditore

buchversandmimpf2000

Germania