yr 〜
yr

Search results 2

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 ...
  • Subject Heading (ID)Cambridge LCF (Computer system) Computable functions -- Data ...

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 ...
  • Subject Heading (ID)Cambridge LCF (Computer system) Computable functions -- Data ...

Reached to the end of result.