年 〜
年

検索結果 10 件

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-Verlag1979.<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 ZhangWorld Scientificc2007
全国の図書館
  • 件名... -- Congresses Computable functions -- Data processing -- Congresses Logic, Symbolic...
  • 件名（識別子）... -- Congresses Computable functions -- Data processing -- Congresses Logic, Symbolic...

Representations of discrete functions

Representations of discrete functions
紙図書
edited by Tsutomu Sasao, Masahiro FujitaKluwer Academicc1996
全国の図書館
  • 件名...r-aided design Computable functions -- Data processing Logic design
  • 件名（識別子）...r-aided design Computable functions -- Data processing Logic design

Logic and computation : interactive proof with Cambridge LCF : pbk

Logic and computation : interactive proof with Cambridge LCF : pbk
紙図書
Lawrence C. PaulsonCambridge University Press1990, c1987
全国の図書館
  • 件名Cambridge LCF (Computer system) Computable functions -- Data processing
  • 件名（識別子）Cambridge LCF (Computer system) Computable functions -- Data processing

Logic and computation : interactive proof with Cambridge LCF

Logic and computation : interactive proof with Cambridge LCF
紙図書
Lawrence C. PaulsonCambridge University Pressc1987
全国の図書館
  • 件名Cambridge LCF (Computer system) Computable functions -- Data processing
  • 件名（識別子）Cambridge LCF (Computer system) Computable functions -- Data processing

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, editorAmerican Mathematical Societyc1990
全国の図書館
  • 件名Computable functions -- Data processing -- Congresses
  • 件名（識別子）Computable functions -- Data processing -- Congresses

Computability with PASCAL

Computability with PASCAL
紙図書
John S. Mallozzi , Nicholas J. De LilloPrentice-Hallc1984
全国の図書館
  • 件名Computable functions -- Data processing Recursive functions -- Data p...
  • 件名（識別子）Computable functions -- Data processing Recursive functions -- Data p...

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. WadsworthSpringer-Verlag1980
全国の図書館
  • 件名Edinburgh LCF (Computer system) Computable functions -- Data processing
  • 件名（識別子）Edinburgh LCF (Computer system) Computable functions -- Data processing

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. WadsworthSpringer-Verlag1979
全国の図書館
  • 件名Edinburgh LCF (Computer system) Computable functions -- Data processing
  • 件名（識別子）Edinburgh LCF (Computer system) Computable functions -- Data processing

Computability, 1973-1974

Computability, 1973-1974
紙図書
Martin Davis ; notes by Barry JacobsCourant Institute of Mathematical Sciences, New York Universityc1974
全国の図書館
  • 件名Computable functions -- Data processing Recursive functions -- Data p...
  • 件名（識別子）Computable functions -- Data processing Recursive functions -- Data p...

検索結果は以上です。