Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing microsoft » exploring microsoft, designing microsoft
program developing » programs developing, programme developing, programmes developing
microsoft https » microscopy https, microsoft htc
integer basic » integer based, interest basic, inter basin
basic program » basic programs, based program, static program
developing microsoft » exploring microsoft, designing microsoft
program developing » programs developing, programme developing, programmes developing
microsoft https » microscopy https, microsoft htc
integer basic » integer based, interest basic, inter basin
basic program » basic programs, based program, static program
1
Published 2010
Table of Contents:
“... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”View full text
Electronic
eBook
