A computational logic /

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Boyer, Robert S., Moore, J Strother, 1947- (Author)
Format: Electronic eBook
Language:Inglés
Published: New York : Academic Press, �1979.
Series:ACM monograph series.
Subjects:
Automatic theorem proving.
Th�eor�emes > D�emonstration automatique.
MATHEMATICS > General.
Automatic theorem proving
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items