Home Search Library Lists

Create account Sign in

Privacy · TermsBook data from Open Library

Home Search Lists Sign in

Interactive theorem proving and program development by Yves Bertot · Bookplated

Interactive theorem proving and program development

Interactive theorem proving and program development

2004469 pages

Written by

Interactive theorem proving and program development

Yves Bertot

Keep track of this one.

Sign in to log, rate or review

Reviews

❦

No reviews yet

Be the first to say something about it.

Ratings

—

★★★★★★★★★★

0 ratings0 read · 0 reading · 0 want

Automatic theorem proving Computer programming Calculus of operations Proof theory Formal languages Software engineering