Jump to main content

yr 〜
yr

Search results 14

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
Paper図書
Harald Ganzinger (ed.)Springerc1999
Other Libraries in Japan
  • Author Heading (ID)...7CDA00406195 DA00272452 https://ci.nii......ac.jp/author/DA00272452#entity https:/......urceID/NII%7CDA00272452

Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Paper図書
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)Springer-Verlagc1999
Other Libraries in Japan
  • Author Heading (ID)...7CDA06518577 DA00272452 https://ci.nii......ac.jp/author/DA00272452#entity https:/......urceID/NII%7CDA00272452 DA03662602 https://ci.nii.ac....

Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings

Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Paper図書
Harald Ganzinger (ed.)Springer-Verlagc1996
Other Libraries in Japan
  • Author Heading (ID)...7CDA0100691X DA00272452 https://ci.nii......ac.jp/author/DA00272452#entity https:/......urceID/NII%7CDA00272452

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings : gw : us

ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings : gw : us
Paper図書
H. Ganzinger (ed.)Springer-Verlagc1988
Other Libraries in Japan
  • Author Heading (ID)...7CDA00228585 DA00272452 https://ci.nii......ac.jp/author/DA00272452#entity https:/......urceID/NII%7CDA00272452 DA00018389 https://ci.nii.ac....

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 : gw : us

Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 : gw : us
Paper図書
edited by H. Ganzinger and N.D. JonesSpringer-Verlagc1986
Other Libraries in Japan
  • Author Heading (ID)DA00272452 https://ci.nii......ac.jp/author/DA00272452#entity https:/......urceID/NII%7CDA00272452 DA00272463 https://ci.nii.ac....

[絵本]

[絵本]
MicroformDigital図書障害者向け資料あり
竹内善太郎 編, 国明 画竹内善太郎明18.4<特59-936>
Available onlineNational Diet Library
  • Author Heading (ID)00501375 00272452
  •  
  •  
  •  
  •  
  •  
    •  

時代鏡 : 48編

時代鏡 : 48編
Microform和古書・漢籍
為永春水, 柳水亭種清 作, 歌川国貞 [ほか]画若狭屋与市 [ほか][江戸末期～明治16]<W99-11>
National Diet Library
  • Author Heading (ID)00272104 00161048 00272461 00272462 00272452 00269156

日本駄右衛門 関三十郎・南郷力丸 中村芝翫・弁天小僧菊之助 市村羽左衛門

日本駄右衛門 関三十郎・南郷力丸 中村芝翫・弁天小僧菊之助 市村羽左衛門
PaperDigital和古書・漢籍
国明 画木屋文久2 [1862]<本別7-522>
Available onlineNational Diet Library
  • Author Heading (ID)00272452

弁天小僧菊之助 市村羽左衛門

弁天小僧菊之助 市村羽左衛門
PaperDigital和古書・漢籍
国明 画林家庄五郎文久2 [1862]<本別7-522>
Available onlineNational Diet Library
  • Author Heading (ID)00272452

石川五右衛門 市川小団治・早野弥藤治 中村福助・岩城藤馬 市川市蔵・岩城兵部 中村鶴蔵

石川五右衛門 市川小団治・早野弥藤治 中村福助・岩城藤馬 市川市蔵・岩城兵部 中村鶴蔵
PaperDigital和古書・漢籍
国明 画木屋文久1 [1861]<本別7-522>
Available onlineNational Diet Library
  • Author Heading (ID)00272452

百姓横蔵 中村芝翫・百姓慈悲蔵 河原崎権十郎

百姓横蔵 中村芝翫・百姓慈悲蔵 河原崎権十郎
PaperDigital和古書・漢籍
国明 画文久1 [1861]<本別7-522>
Available onlineNational Diet Library
  • Author Heading (ID)00272452

古代江戸繪集

古代江戸繪集
PaperDigital和古書・漢籍
<ゑ-88>
Available onlineNational Diet Library
  • Author Heading (ID)00272464 00272461 00269569 01041384 00161720 00272462 00272452 00281306 00413308

Reached to the end of result.

RSS