Jump to main content

yr 〜
yr

Search results 4

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)

Automated deduction--CADE-25 : 25th international conference on automated deduction : Berlin, Germany, August 1-7, 2015 : proceedings : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9195. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-493>
National Diet Library
  • Author HeadingInternational Conference on Automated Deduction (25th : 2015 : Berlin, Germany) Felty, Amy.

4th international workshop on logical frameworks and meta-languages: theory and practice 2009 : (LFMTP 2009) : Montreal, Canada : 2 August 2009. : joint LFMTP/PSTT : international workshop on proof-search in type theories (PSTT) : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series)

4th international workshop on logical frameworks and meta-languages: theory and practice 2009 : (LFMTP 2009) : Montreal, Canada : 2 August 2009. : joint LFMTP/PSTT : international workshop on proof-search in type theories (PSTT) : Aug 2009, Montreal, Canada. (ACM International Conference Proceedings Series)
Paper図書
ACMc2009.<M17-10-1780>
National Diet Library
  • Author HeadingCheney, James. Felty, Amy. International Workshop on Log...

Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15 2012 : proceedings : pbk

Interactive theorem proving : third international conference, ITP 2012, Princeton, NJ, USA, August 13-15 2012 : proceedings : pbk
Paper図書
Lennart Beringer, Amy Felty (eds.)Springerc2012
Other Libraries in Japan

Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
Paper図書
Elsa L. Gunter, Amy Felty (eds.)Springerc1997
Other Libraries in Japan

Reached to the end of result.

RSS