Estadísticas del PDF: Tesis: Guillermo Ita - METODO RM PARA LA DEMOSTRACION AUTOMATICA DE TEOREMAS

CENTRO TP i K Y E O T W li S Y C I

F -,T '; 's ■' V A NZ A DOS DEL

i. P. N.

l

i

b

i

b


INGENIERIA ELECTRICA

o

t

e

c

a

CENTRO DE INVESTIGACION Y DE ESTUDIOS AVANZADOS

DEL

INSTITUTO POLITECNICO NACIONAL

DEPARTAMENTO DE INGENIERIA ELECTRICA

SECCION DE COMPUTACION

C E N T R O L '

-7 Í : ; í v í

. ■

E S T U D IO S M '.W .Z a D O S d :

I. P . N .

i

B I B L I O T E C A
INGENIERIA ELECTRICA

" METODO RM PARA LA DEMOSTRACION

AUTOM...