Introduction to logic and automated theorem proving

Introduction to logic and automated theorem proving

Harrison, J.

0,00 €(IVA inc.)
  • ISBN:
  • Editorial: Cambridge University
  • Encuadernacion: Desconocida
  • Fecha Publicación: 01/06/2008
  • Nº Volúmenes: 1
  • Idioma: Inglés