Automated theorem proving : a logical basis /

Automated Theorem Proving: A Logical Basis.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Loveland, Donald W.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York : North-Holland Pub. Co. ; Sole distributor for the U.S.A. and Canada, Elsevier North-Holland, 1978.
Colección:Fundamental studies in computer science ; v. 6.
Temas:
Automatic theorem proving.
Th�eor�emes > D�emonstration automatique.
MATHEMATICS > General.
Beweistheorie
Acceso en línea:Texto completo

Ejemplares similares

Ejemplares similares