Larch Prover: ACL2, CARINE, E Theorem Prover

Name: Larch Prover: ACL2, CARINE, E Theorem Prover
Brand: OmniScriptum
SKU: 1cc18ac407ed342a750e253813a4c073

1/1

Prices from

127.10

Featured

Description

Larch Prover: ACL2, CARINE, E Theorem Prover

Compare webshops (2)

Sort by:

€ 127.10

Description (0)

Larch Prover: ACL2, CARINE, E Theorem Prover

Brand	OmniScriptum
EAN	9786133691582

OmniScriptum

E Equational Theorem Prover: Automated Proving, First Order Logic, Superposition Calculus

OmniScriptum

Agda (theorem prover): Proof Assistant, Spreadsheet, List of Spreadsheet Software

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

Ed. do Autor

Bíblia ProVer - Prosperidade Verdadeira