Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
intellect computer » intellect computers, intelligent computer, internet computer
program foundation » prosea foundation, program formulation, programming foundations
computer programs » computer program
programs program » programming program
foundation https » foundations https, foundations http, function https
intellect computer » intellect computers, intelligent computer, internet computer
program foundation » prosea foundation, program formulation, programming foundations
computer programs » computer program
programs program » programming program
foundation https » foundations https, foundations http, function https
1
Published 2007
Table of Contents:
“... Construction -- I: Foundations -- First-Order Logic -- Dynamic Logic -- Construction of Proofs -- II...”View full text
Electronic
eBook
