Jump to main content

yr 〜
yr

Search results 3

Formal syntax and semantics of Java

Formal syntax and semantics of Java
Paper図書
Jim Alves-Foss (ed.)Springerc1999
Other Libraries in Japan
  • Author HeadingAlves-Foss, James

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings : gw

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings : gw
Paper図書
E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.)Springer-Verlagc1995
Other Libraries in Japan
  • Author Heading...ey, Phillip J. Alves-Foss, James IFIP TC10/WG10.2 Internationa...

Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss, eds. (Lecture notes in computer science)

Higher order logic theorem proving and its applications : 8th international workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / E. Thomas Schubert, Phillip J. Windley, James Alves-Foss, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1995.<M15-A9804>
National Diet Library
  • Author HeadingSchubert, Thomas E., 1959- Windley, Phillip J., 1958- Alves-Foss, James, 1964-

Reached to the end of result.

RSS