yr 〜
yr

Search results 12

Interactive theorem proving : first international conference, ITP 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6172)

Interactive theorem proving : first international conference, ITP 2010 : Edinburgh, UK, July 11-14, 2010 : proceedings. : Jul 2010, Edinburgh, UK. (Lecture Notes in Computer Science ; 6172)
Paper図書
Springerc2010.<M17-11-146>
National Diet Library
  • Author HeadingKaufmann, Matt. Paulson, Lawrence C. ITP 2010 (2010 : Edinburgh, S...

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
  • Author HeadingPaulson, Lawrence C.

Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings : pbk

Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings : pbk
Paper図書
Matt Kaufmann, Lawrence C. Poulson (eds.)Springerc2010
Other Libraries in Japan
  • Author HeadingKaufmann, Matt Paulson, Lawrence C. International Conference on I...

Isabelle/HOL : a proof assistant for higher-order logic

Isabelle/HOL : a proof assistant for higher-order logic
Paper図書
Tobias Nipkow, Lawrence C. Paulson, Markus WenzelSpringerc2002
Other Libraries in Japan
  • Author HeadingNipkow, Tobias Paulson, Lawrence C. Wenzel, Markus

ML for the working programmer : pbk 2nd ed, repr. with corrections 1997

ML for the working programmer : pbk 2nd ed, repr. with corrections 1997
Paper図書
Lawrence C. PaulsonCambridge University Press1997, c1991, 1996
Other Libraries in Japan
  • Author HeadingPaulson, Lawrence C.

ML for the working programmer : hardback : pbk. 2nd ed

ML for the working programmer : hardback : pbk. 2nd ed
Paper図書
Lawrence C. PaulsonCambridge University Press1996
Other Libraries in Japan
  • Author HeadingPaulson, Lawrence C.

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
  • Author HeadingPaulson, Lawrence C. Nipkow, Tobias

ML for the working programmer : pbk

ML for the working programmer : pbk
Paper図書
Lawrence C. PaulsonCambridge University Press1992
Other Libraries in Japan
  • Author HeadingPaulson, Lawrence C.

ML for the working programmer

ML for the working programmer
Paper図書
Laurence C. PaulsonCambridge University Press1991
Other Libraries in Japan
  • Author HeadingPaulson, Lawrence C.

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
  • Author HeadingPaulson, Lawrence C.

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
  • Author HeadingPaulson, Lawrence C.

A compiler generator for semantic grammars

A compiler generator for semantic grammars
Paper図書
by Lawrence PaulsonUniversity Microfilms International1981
Other Libraries in Japan
  • Author HeadingPaulson, Lawrence C.

Reached to the end of result.