Jump to main content

yr 〜
yr

Search results 2

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow. (Lecture notes in computer science)

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Robias Nipkow. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M159-A158>
National Diet Library
  • Subject HeadingIsabelle (Computer file) プログラミング (電子計算機) 記号論理学. Automa...

Isabelle : a generic theorem prover : gw : us

Isabelle : a generic theorem prover : gw : us
Paper図書
Lawrence C. Paulson ; with contributions by Tobias NipkowSpringer-Verlagc1994
Other Libraries in Japan
  • Subject HeadingAutomatic theorem proving Isabelle (Computer file)
  • Subject Heading (ID)Automatic theorem proving Isabelle (Computer file)

Reached to the end of result.

RSS