Results 331 to 340 of about 3,053,426 (341)
Some of the next articles are maybe not open access.
Mechanising Turing Machines and Computability Theory in Isabelle/HOL
International Conference on Interactive Theorem Proving, 2013Jian Xu, Xingyuan Zhang, Christian Urban
semanticscholar +1 more source
Biomedical Computing Using Personal Computers
IEEE Engineering in Medicine and Biology Magazine, 1986openaire +2 more sources