Jump to main content

yr 〜
yr

Search results 5

Resolution proof systems : an algebraic theory

Resolution proof systems : an algebraic theory
Paper図書
by Zbigniew StachniakKluwer Academic Publishersc1996
Other Libraries in Japan
  • Related MaterialAutomated reasoning series
  • Periodical TitleAutomated reasoning series

Piton : a mechanically verified assembly-level language

Piton : a mechanically verified assembly-level language
Paper図書
by J. Strother MooreKluwer Academic Publishers1996
Other Libraries in Japan
  • Related MaterialAutomated reasoning series
  • Periodical TitleAutomated reasoning series

Automated development of fundamental mathematical theories

Automated development of fundamental mathematical theories
Paper図書
by Art QuaifeKluwer Academicc1992
Other Libraries in Japan
  • Related MaterialAutomated reasoning series
  • Periodical TitleAutomated reasoning series

Automated reasoning : essays in honor of Woody Bledsoe

Automated reasoning : essays in honor of Woody Bledsoe
Paper図書
edited by Robert S. BoyerKluwer Academic Publishers Groupc1991
Other Libraries in Japan
  • Related MaterialAutomated reasoning series
  • Periodical TitleAutomated reasoning series

Automated reasoning series

Automated reasoning series
Paper図書
Kluwer Academic Publishers Group
Other Libraries in Japan

Reached to the end of result.

RSS