Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution

Prix à partir de
28,72

Liens sponsorisés

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution

Comparer les boutiques en ligne (2)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

28,72 € Livraison gratuite

28,72 € Livraison gratuite

Description (0)

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution


Spécifications du produit

Marque OmniScriptum
EAN
  • 9786130767396

Choix en vedette
28,72 €
Voir l’offre