Search Results for Automatic theorem proving.

Yazar

Cohen, Ernie. editor.

Format:

Electronic Resources

Alıntı:

Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo

Yazar

Artemov, Sergei. editor.

Format:

Electronic Resources

Alıntı:

Constructive mathematics and type theory -- Homotopy type theory -- Logic, automata, and automatic

Yazar

Hinchey, Mike. editor.

Format:

Electronic Resources

Alıntı:

ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving

Yazar

Rayadurgam, Sanjai. editor.

Format:

Electronic Resources

Alıntı:

topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving

	{displayName}	{count}
{error}