Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

By Nakao Mitsuhiro   Watanabe Yoshitaka   Yamamoto Nobito   Nishida Takaaki   Kim Myoungnyoun  

Journal of Scientific Computing, Vol. 44, Iss. 1, 2010-07 ,pp. : 107-107

Springer Publishing Company

Access to resources Recommend Favorite

The Development of Early Computer-Assisted Writing Instruction (1960–1978): The Double Logic of Media and Tools

By Whithaus Carl  

Computers and the Humanities, Vol. 38, Iss. 2, 2004-05 ,pp. : 149-162

Springer Publishing Company

Access to resources Recommend Favorite

Proofs as computations in linear logic

By Delzanno G.   Martelli M.  

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 269-297

Elsevier

Access to resources Recommend Favorite

On Computer-assisted Classification of Coupled Integrable Equations

By Foursov M.V.   Maza M.M.  

Journal of Symbolic Computation, Vol. 33, Iss. 5, 2002-05 ,pp. : 647-660

Academic Press

Access to resources Recommend Favorite

Computer-assisted rehabilitation: towards effective evaluation

By Nicolau Hugo  

International Journal of Cognitive Performance Support, Vol. 1, Iss. 1, 2013-05 ,pp. : 11-26

Inderscience Publishers

Access to resources Recommend Favorite