Coq: Computer Science, Interactive Theorem Proving, Curry-Howard

Name: Coq: Computer Science, Interactive Theorem Proving, Curry-Howard
Brand: OmniScriptum
SKU: ca1ec7440852f5da4a98671c9896f34d

1/1

Prices from

127.10

Featured

Description

Coq: Computer Science, Interactive Theorem Proving, Curry-Howard

Compare webshops (2)

Sort by:

€ 127.10

Description (0)

Coq: Computer Science, Interactive Theorem Proving, Curry-Howard

Brand	OmniScriptum
EAN	9786133153134

OmniScriptum

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

OmniScriptum

Proof Complexity: Computer Science, Automated Theorem Proving, Propositional Logic, DPLL Algorithm

OmniScriptum

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

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...