Jump to main content

yr 〜
yr

Search results 11

春霙 : 句集

春霙 : 句集
Paper図書
柿沼茂 著花神社2010.7<KH237-J360>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)01006884

名句を読む : その秘密を探る

名句を読む : その秘密を探る
Paper図書
柿沼茂 著花神社2009.2<KG721-J38>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)01006884

河岸段丘 : 句集

河岸段丘 : 句集
Paper図書
柿沼茂 著花神社2005.6<KH237-H261>
National Diet LibraryOther Libraries in Japan
  • Author Heading (ID)01006884

Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings : pbk

Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings : pbk
Paper図書
Jean-Pierre Jouannaud, Zhong Shao (eds.)Springerc2011
Other Libraries in Japan
  • Author Heading (ID)DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884

Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

Constraints in computational logics : first International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings
Paper図書
Jean-Pierre Jouannaud (ed.)Springer-Verlagc1994
Other Libraries in Japan
  • Author Heading (ID)DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884 DA08589339 https://ci.nii.ac....

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course : Berlin : New York

Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course : Berlin : New York
Paper図書
Hubert Comon, Jean-Pierre Jouannaud, (eds.)Springer Verlagc1995
Other Libraries in Japan
  • Author Heading (ID)...7CDA09078062 DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884

Rewriting techniques and applications

Rewriting techniques and applications
Paper図書
edited by Jean-Pierre JouannaudAcademic1987
Other Libraries in Japan
  • Author Heading (ID)DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings : gw : us

Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings : gw : us
Paper図書
S. Kaplan, J.-P. Jouannaud (eds.)Springer-Verlagc1988
Other Libraries in Japan
  • Author Heading (ID)...7CDA02414285 DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us

TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings : gw : us
Paper図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)Springer-Verlagc1993
Other Libraries in Japan
  • Author Heading (ID)...7CDA07263143 DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884 DA00018389 https://ci.nii.ac....

Rewriting techniques and applications : Dijon, France, May 20-22, 1985 : gw : us

Rewriting techniques and applications : Dijon, France, May 20-22, 1985 : gw : us
Paper図書
edited by Jean-Pierre JouannaudSpringer-Verlagc1985
Other Libraries in Japan
  • Author Heading (ID)DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884 DA0100691X https://ci.nii.ac....

Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 : gw : us

Functional programming languages and computer architecture : Nancy, France, September 16-19, 1985 : gw : us
Paper図書
edited by Jean-Pierre JouannaudSpringer-Verlagc1985
Other Libraries in Japan
  • Author Heading (ID)DA01006884 https://ci.nii......ac.jp/author/DA01006884#entity https:/......urceID/NII%7CDA01006884 DA01820564 https://ci.nii.ac....

Reached to the end of result.

RSS