1.

図書
図書
1. ML for the working programmer. 2nd ed (: hardback ; : pbk.)
Lawrence C. Paulson
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1996
所蔵情報: 図書館, 研究室
2.

図書
図書
2. Isabelle : a generic theorem prover (: gw ; : us)
Lawrence C. Paulson ; with contributions by Tobias Nipkow
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 828
所蔵情報: 図書館
3.

電子ブック
ＥＢ
3. Isabelle : A Generic Theorem Prover
edited by Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 828
オンライン: http://dx.doi.org/10.1007/BFb0030541
4.

電子ブック
ＥＢ
4. Isabelle : A Generic Theorem Prover. 1st ed. 1994
by Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 828
オンライン: https://doi.org/10.1007/BFb0030541
5.

図書
図書
5. ML for the working programmer
Laurence C. Paulson
出版情報: Cambridge : Cambridge University Press, 1991
所蔵情報: 図書館