AUTOMATED THEOREM PROVING: Logical Inference Proof Search Decision Procedures and Computational Reasoning

Prix à partir de
12,74

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

AUTOMATED THEOREM PROVING: Logical Inference Proof Search Decision Procedures and Computational Reasoning

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
12,74 €
3,00 €
15,74 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
12,74 €
3,00 €
15,74 €
Voir l’offre
3,00 € Shipping Costs
Description (0)

AUTOMATED THEOREM PROVING: Logical Inference Proof Search Decision Procedures and Computational Reasoning

Spécifications du produit

Marque Independently Published
EAN
  • 9798170626106

Independently Published

INTERACTIVE THEOREM PROVING: Proof Assistants Formal Logic Mathematical Reasoning and Verified Computation

12,74 €
Comparer 2 magasins 2 magasins

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 1

15,99 €
Comparer 2 magasins 2 magasins

Independently Published

COMPUTATIONAL LOGIC and PROOF SYSTEMS: Formal Languages Inference Rules Type Systems Machine Assisted Reasoning

12,74 €
Comparer 2 magasins 2 magasins

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

11,72 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,74 €
Voir l’offre