Jump to main content

yr 〜
yr

Search results 10

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2121>
National Diet Library
  • Author Heading...: Rome, Italy) Pfenning, Frank. 'Sapienza' University of Rom...

Automated deduction -- CADE-21 : 21st international conference on automated deduction : Bremen, Germany, July 17-20, 2007 : proceedings. : Jul 2007, Bremen, Germany. (Lecture Notes in Computer Science ; 4603. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-21 : 21st international conference on automated deduction : Bremen, Germany, July 17-20, 2007 : proceedings. : Jul 2007, Bremen, Germany. (Lecture Notes in Computer Science ; 4603. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2007.<M17-07-1954>
National Diet Library
  • Author HeadingPfenning, Frank. International Conference on ...

Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4098)

Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4098)
Paper図書
Springerc2006.<M17-06-3104>
National Diet Library
  • Author HeadingPfenning, Frank. International Conference on ...

Generative programming and component engineering : second international conference, GPCE 2003 : Erfurt, Germany, September 22-25, 2003 : proceedings. : Sep 2003, Erfurt, Germany. (Lecture Notes in Computer Science ; 2830)

Generative programming and component engineering : second international conference, GPCE 2003 : Erfurt, Germany, September 22-25, 2003 : proceedings. : Sep 2003, Erfurt, Germany. (Lecture Notes in Computer Science ; 2830)
Paper図書
Springer-Verlagc2003.<M17-04-1015>
National Diet Library
  • Author HeadingPfenning, Frank. Smaragdakis, Yannis. GPCE 20...

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.). (Lecture notes in computer science ; 822. Lecture notes in artificial intelligence)

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.). (Lecture notes in computer science ; 822. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1994.<M15-A9315>
National Diet Library
  • Author HeadingLPAR (5th : 1994 : Kiev, Ukraine) Pfenning, Frank.

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 : proceedings

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 : proceedings
Paper図書
Frank Pfenning (ed.)Springerc2007
Other Libraries in Japan
  • Author HeadingInternational Conference on Automated Deduction Pfenning, Frank

Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings

Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
Paper図書
Frank Pfenning (ed.)Springerc2006
Other Libraries in Japan
  • Author HeadingInternational Conference on Rewriting Techniques and Applications Pfenning, Frank

Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings

Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings
Paper図書
Frank Pfenning, Yannis Smaragdakis (eds.)Springerc2003
Other Libraries in Japan
  • Author Heading...nt Engineering Pfenning, Frank Smaragdakis, Yannis

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings : gw : us

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings : gw : us
Paper図書
Frank Pfenning (ed.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingLPAR Pfenning, Frank

Types in logic programming

Types in logic programming
Paper図書
edited by Frank PfenningMIT Pressc1992
Other Libraries in Japan
  • Author HeadingPfenning, Frank

Reached to the end of result.

RSS