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

1/1

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

Amazon Marketplace

Prijzen vanaf

28,72

Gesponsorde links

	28,72	Naar shop
	28,72	Naar shop
VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Vergelijk aanbieders (2)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 28,72 Gratis verzending

Beschrijving (0)

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