Jump to main content

yr 〜
yr

Search results 2

Logic and computer science

Logic and computer science
Paper図書
edited by Piergiorgio OdifreddiAcademic Pressc1990
Other Libraries in Japan
  • Subject Heading...heorem proving Nuprl (Computer system) Mathematics -- Data processin...
  • Subject Heading (ID)...heorem proving Nuprl (Computer system) Mathematics -- Data processin...

Implementing mathematics with the Nuprl proof development system

Implementing mathematics with the Nuprl proof development system
Paper図書
R.L. Constable ... [et al.] (Computer Science Department, Cornell University)Prentice-Hallc1986
Other Libraries in Japan
  • Subject HeadingAutomatic theorem proving Nuprl (Computer system) Mathematics -- Data processin...
  • Subject Heading (ID)Automatic theorem proving Nuprl (Computer system) Mathematics -- Data processin...

Reached to the end of result.

RSS