Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution
Prijzen vanaf
VERGELIJK ALLE AANBIEDERS
(2)
28,72
Uitgelicht
|
28,72 |
Naar shop
|
|
28,72 |
Naar shop
|
Beschrijving
Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution
Beschrijving
(0)
Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution
Productspecificaties
Gerelateerde producten
Uitgelichte Keuze
28,72
