Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution
Prix à partir de
28,72
En vedette
|
28,72 € |
Voir l’offre
|
| COMPARER TOUS LES MAGASINS EN LIGNE (1) | ||
Description
Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution
Comparer les boutiques en ligne (1)
Shop
Prix
Affranchissement
Prix total
Description
(0)
Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution
Spécifications du produit
Résultats connexes
Choix en vedette
28,72 €
