Jump to main content

yr 〜
yr

Search results 4

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 201...

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. Internat...

Computer-aided reasoning : ACL2 case studies

Computer-aided reasoning : ACL2 case studies
Paper図書
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother MooreKluwer Academicc2000
Other Libraries in Japan
  • Author HeadingKaufmann, Matt Manolios, Panagiotis Moore, J...

Computer-aided reasoning : an approach

Computer-aided reasoning : an approach
Paper図書
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother MooreKluwer Academicc2000
Other Libraries in Japan
  • Author HeadingKaufmann, Matt Manolios, Panagiotis Moore, J...

Reached to the end of result.

RSS