Jump to main content

yr 〜
yr

Search results 2

Symbolic computation and education

Symbolic computation and education
Paper図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong ZhangWorld Scientificc2007
Other Libraries in Japan
  • Subject Heading... -- Congresses Computable functions -- Data processing -- Congresses Logic, Symbolic and mathemati...
  • Subject Heading (ID)... -- Congresses Computable functions -- Data processing -- Congresses Logic, Symbolic and mathemati...

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987

Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987
Paper図書
Wilfried Sieg, editorAmerican Mathematical Societyc1990
Other Libraries in Japan
  • Subject HeadingComputable functions -- Data processing -- Congresses
  • Subject Heading (ID)Computable functions -- Data processing -- Congresses

Reached to the end of result.

RSS