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

Guardado en:

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:	Cálculo ciencias exactas > becas matematicas programacion [matematicas]
Aporte de:	Registro referencial: Solicitar el recurso aquí Biblioteca Central (UNDMP) de Universidad Nacional de Mar del Plata (UNMdP)


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

Ejemplares similares