Jump to main content

yr 〜
yr

Search results 4

プログラミングによる計算可能性理論 (Information & computing ; 18)

プログラミングによる計算可能性理論 (Information & computing ; 18)
PaperDigital図書
A.クフォーリ [ほか]共著, 甘利俊一 [ほか]共訳サイエンス社1987.12<MA41-E3>
National Diet LibraryOther Libraries in Japan

An introduction to formal language theory : us : gw

An introduction to formal language theory : us : gw
Paper図書
Robert N. Moll, Michael A. Arbib, A.J. Kfoury, with contributions by James PustejovskySpringer-Verlagc1988
Other Libraries in Japan
  • Author HeadingMoll, Robert N. Kfoury, A. J. Arbib, Michael A.

A programming approach to computability

A programming approach to computability
Paper図書
A.J. Kfoury, Robert N. Moll, Michael A. ArbibSpringer-Verlagc1982
Other Libraries in Japan
  • Author HeadingKfoury, A. J. Moll, Robert N. Arbib, Michae...

A basis for theoretical computer science

A basis for theoretical computer science
Paper図書
Michael A. Arbib, A.J. Kfoury, Robert N. MollSpringer-Verlagc1981
Other Libraries in Japan
  • Author HeadingArbib, Michael A. Kfoury, A. J. Moll, Robert N.

Reached to the end of result.

RSS