Vista normal Vista MARC Vista ISBD

Journal of automated reasoning - Ocho números al año

Título de la cubierta Inicia en 1985 con el vol. 1, no. 1



ISSN: 0168-7433 = Journal of automated reasoning = J. autom. reason.

CODEN: JAREEW

Subjects--Topical Terms:
Teoremas, Comprobación automática de
Inteligencia artificial.

LC Class. No.: QA76.9.A96

Dewey Class. No.: 007.52