Christian Lengauer

Information about the author Christian Lengauer will soon be added to the site.

Found 1 papers in total

A view of automated proof checking and proving

1988

Different techniques of automated formal reasoning are described and their performance...

Papers per page: