opac, catalogo, online,servizi, biblioteca, sebina

Automated theorem proving : after 25 years : proceedings of the Special session on automatic theorem proving : 89th Annual meeting of the American mathematical society held in Denver, Colorado, January 5-9 1983

Special session on automatic theorem proving <1983 ; Denver>

American Mathematical Society - 1984

  • Lo trovi in
  • Scheda
  • Unimarc