Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /

Detalles Bibliográficos
Autor principal: Coniglio, Marcelo
Formato: Libro
Lenguaje:Indeterminado
Publicado: Mar del Plata : Universidad Nacional. Facultad de Ciencias Exactas y Naturales, 1989
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00818cam a22002297i 4500
001 007366
003 armpun
005 20240403130424.0
008 100819s1989####xx#a##########000#0#und#d
040 |a armpun  |c armpun 
080 |a 519.6 
100 1 0 |a Coniglio, Marcelo  |9 15591 
245 1 0 |a Verificación automática de teoremas por tableux analíticos y extensión a sistemas de primer orden con igualdad /  |c Marcelo Coniglio 
264 1 |a Mar del Plata :  |b Universidad Nacional. Facultad de Ciencias Exactas y Naturales,  |c 1989 
300 |a 1 v. (varias paginaciones) 
650 0 |a Cálculo  |9 5276 
650 7 |a ciencias exactas  |x becas  |2 LEMB  |9 6897 
650 7 |a matematicas  |2 LEMB  |9 316 
650 7 |a programacion [matematicas]  |2 LEMB  |9 9910 
942 |c TG  |2 cdu 
945 |a Lryt  |d María Elena de la Cal  |c 1796 
999 |c 7125  |d 199516