Automated Theorem Proving

After 25 Years

Bog, Paperback, Engelsk, 1984

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9780821850275
  • Udgivet30/12/1984
  • Udgivet afAmerican Mathematical Society
  • GenreBusiness og læring