Jump to main content

yr 〜
yr

Search results 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)
Paper図書
Springer-Verlag1979.<MA41-167>
National Diet Library
  • Subject HeadingEdinburgh LCF (Computer system) Computable functions -- Data processing.

Symbolic computation and education

Symbolic computation and education
Paper図書
editors, Shangzhi Li, Dongming Wang, Jing-Zhong ZhangWorld Scientificc2007
Other Libraries in Japan
  • Subject Heading... -- Congresses Computable functions -- Data processing -- Congresses Logic, Symbolic...
  • Subject Heading (ID)... -- Congresses Computable functions -- Data processing -- Congresses Logic, Symbolic...

Representations of discrete functions

Representations of discrete functions
Paper図書
edited by Tsutomu Sasao, Masahiro FujitaKluwer Academicc1996
Other Libraries in Japan
  • Subject Heading...r-aided design Computable functions -- Data processing Logic design
  • Subject Heading (ID)...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
Paper図書
Lawrence C. PaulsonCambridge University Press1990, c1987
Other Libraries in Japan
  • Subject HeadingCambridge LCF (Computer system) Computable functions -- Data processing
  • Subject Heading (ID)Cambridge LCF (Computer system) Computable functions -- Data processing

Logic and computation : interactive proof with Cambridge LCF

Logic and computation : interactive proof with Cambridge LCF
Paper図書
Lawrence C. PaulsonCambridge University Pressc1987
Other Libraries in Japan
  • Subject HeadingCambridge LCF (Computer system) Computable functions -- Data processing
  • Subject Heading (ID)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
Paper図書
Wilfried Sieg, editorAmerican Mathematical Societyc1990
Other Libraries in Japan
  • Subject HeadingComputable functions -- Data processing -- Congresses
  • Subject Heading (ID)Computable functions -- Data processing -- Congresses

Computability with PASCAL

Computability with PASCAL
Paper図書
John S. Mallozzi , Nicholas J. De LilloPrentice-Hallc1984
Other Libraries in Japan
  • Subject HeadingComputable functions -- Data processing Recursive functions -- Data p...
  • Subject Heading (ID)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
Paper図書
Michael J. Gordon, Arthur J. Milner, Christopher P. WadsworthSpringer-Verlag1980
Other Libraries in Japan
  • Subject HeadingEdinburgh LCF (Computer system) Computable functions -- Data processing
  • Subject Heading (ID)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
Paper図書
Michael J. Gordon, Arthur J. Milner, Christopher P. WadsworthSpringer-Verlag1979
Other Libraries in Japan
  • Subject HeadingEdinburgh LCF (Computer system) Computable functions -- Data processing
  • Subject Heading (ID)Edinburgh LCF (Computer system) Computable functions -- Data processing

Computability, 1973-1974

Computability, 1973-1974
Paper図書
Martin Davis ; notes by Barry JacobsCourant Institute of Mathematical Sciences, New York Universityc1974
Other Libraries in Japan
  • Subject HeadingComputable functions -- Data processing Recursive functions -- Data p...
  • Subject Heading (ID)Computable functions -- Data processing Recursive functions -- Data p...

Reached to the end of result.

RSS