Search results for "A note on"D-Cases as proofs as programs" : in English" | NDL Search

Search results 1

Group by title

A note on"D-Cases as proofs as programs" : in English (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2010-7)

Paper図書

Makoto Takeyama [著]Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology2010.10<M159-B120>

National Diet Library

Alternative Title"D-Cases as proofs as programs"の考え方について
Alternative Title"D-Cases as proofs as programs"の考え方について

Reached to the end of result.

RSS