OmniScriptum

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

Name: Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program, Symbolic ... Proof complexity, First order resolution
Brand: OmniScriptum
SKU: 0a259f2f67170fba0f551d44220f007f
Price: 28.72 EUR
Availability: InStock

1/1

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

Amazon

Prijzen vanaf

28,72

Uitgelicht

	28,72	Naar shop
VERGELIJK ALLE AANBIEDERS (1)

Beschrijving

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

Vergelijk aanbieders (1)

Shop

Prijs

Verzendkosten

Totale prijs

28,72

Gratis

28,72

Naar shop

Gratis

Beschrijving (0)

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