Jump to main content

yr 〜
yr

Search results 5

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 HeadingInternational Conference on Automated Deduction Ganzinger, Harald

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 HeadingLPAR Ganzinger, Harald McAllester, David A. Voronkov...

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 HeadingInternational Conference on Rewriting Techniques and Applications Ganzinger, Harald

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 HeadingEuropean Symposium on Programming Ganzinger, Harald Colloquium on Trees in Algebr...

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 HeadingGanzinger, Harald Jones, Neil D. Workshop "Prog...

Reached to the end of result.

RSS