国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(3)
1980年代
(3)
1990年代
(3)
2000年代
(1)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(10)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(10)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 10 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. (Lecture notes in computer science ; 78)
紙
図書
Springer-Verlag
1979.
<MA41-167>
国立国会図書館
件名
Edinburgh LCF (Computer system)
Computable functions -- Data processing.
Symbolic computation and education
Symbolic computation and education
紙
図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
World Scientific
c2007
全国の図書館
Representations of discrete functions
Representations of discrete functions
紙
図書
edited by Tsutomu Sasao, Masahiro Fujita
Kluwer Academic
c1996
全国の図書館
Logic and computation : interactive proof with Cambridge LCF : pbk
Logic and computation : interactive proof with Cambridge LCF : pbk
紙
図書
Lawrence C. Paulson
Cambridge University Press
1990, c1987
全国の図書館
Logic and computation : interactive proof with Cambridge LCF
Logic and computation : interactive proof with Cambridge LCF
紙
図書
Lawrence C. Paulson
Cambridge University Press
c1987
全国の図書館
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
紙
図書
Wilfried Sieg, editor
American Mathematical Society
c1990
全国の図書館
Computability with PASCAL
Computability with PASCAL
紙
図書
John S. Mallozzi , Nicholas J. De Lillo
Prentice-Hall
c1984
全国の図書館
Edinburgh LCF : a mechanised logic of computation : gw : us
Edinburgh LCF : a mechanised logic of computation : gw : us
紙
図書
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
Springer-Verlag
1980
全国の図書館
Edinburgh LCF : a mechanised logic of computation : gw : us
Edinburgh LCF : a mechanised logic of computation : gw : us
紙
図書
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
Springer-Verlag
1979
全国の図書館
Computability, 1973-1974
Computability, 1973-1974
紙
図書
Martin Davis ; notes by Barry Jacobs
Courant Institute of Mathematical Sciences, New York University
c1974
全国の図書館
検索結果は以上です。
書誌情報を一括出力