Search alternatives:
rennes » renner
Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
“... Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented...”