Normal view MARC view ISBD view

Journal of Automated Reasoning - Vol. 18, n. 1 (1997-)


Modalidad de acceso: en línea

ISSN: 0168-7433 (edición impresa) 1573-0670 (edición electrónica) = Journal of Automated Reasoning

Subjects--Topical Terms:
Demostración automática de teoremas--Publicaciones periódicas
Inteligencia artificial--Publicaciones periódicas

LC Class. No.: QA76.9.A96 / ES