yr 〜
yr

Search results 2

Handbook of practical logic and automated reasoning / John Harrison.

Handbook of practical logic and automated reasoning / John Harrison.
Paper図書
Cambridge University Press2009.<M154-B88>
National Diet Library
  • Author HeadingHarrison, J. (John) , 1966-

Computer science -- theory and applications : first international computer science symposium in Russia, CSR 2006 : St. Petersburg, Russia, June 8-12, 2006 : proceedings. : Jun 2006, St. Petersburg, Russia. (Lecture Notes in Computer Science ; 3967)

Computer science -- theory and applications : first international computer science symposium in Russia, CSR 2006 : St. Petersburg, Russia, June 8-12, 2006 : proceedings. : Jun 2006, St. Petersburg, Russia. (Lecture Notes in Computer Science ; 3967)
Paper図書
Springerc2006.<M17-06-2278>
National Diet Library
  • Author Heading...igoriev, Dima. Harrison, J. (John) , 1966- Hirsch, Edward A. Internation...

Reached to the end of result.