Search results for "証明の正規化定理" | NDL Search | National Diet Library

Library

National Diet Library Other Libraries in Japan

Available online

Title

Author/Editor

Publisher

Year

yr 〜

yr

1990s(2)

ISBN / ISSN

Call number

Material type

Books （2）

Periodicals

Newspapers

Japanese and Chinese Old Materials

Doctoral Dissertations

Maps

Musical Scores

Web sites

Online Publications

Electronic Resources

Video Materials

Audio Materials

Standards and Technical Reports

Manuscripts and Images

Periodical article etc

Material Format

Digital

Paper （2）

Microform

Recording Media

Subject

Search results 2

Group by title

論理学的手法を用いたプログラミング言語の計算モデルの理論

Paper図書

岡田光弘, 慶応義塾大学1997-1999<Y151-H09480058>

National Diet Library

Subject Heading線形論理相意味論証明の正規化定理 (強) 停止性計算モデル高階論理並行計算カツト消去...

論理学のプログラム言語理論への応用

Paper図書

岡田, 光弘, 慶応義塾大学1993-1994<Y151-H05808030>

National Diet Library

Subject Headingマルチ・パラダイム・プログラム言語タイプ理論項書き換え論理証明論代数的仕様言語証明の正規化定理 π一計算計算モデル

Reached to the end of result.

言語：日本語

About NDL Search
How to access the materials

National Diet Library Home Page

Contact Us News Privacy Policy Site Policy

© 2024- National Diet Library, Japan.

Page Num.202