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:	calculo 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	00775cam a22002297a 4500
001	007366
003	armpun
005	20130604125524.0
008	100819s1989####xx#a##########000#0#und#d
040			\|a armpun \|c armpun
080			\|a 519.6
100	1	0	\|a Coniglio, Marcelo
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
260			\|a Mar del Plata : \|b Universidad Nacional. Facultad de Ciencias Exactas y Naturales, \|c 1989
300			\|a 1 v. (varias paginaciones)
650		7	\|a calculo \|2 LEMB
650		7	\|a ciencias exactas \|x becas \|2 LEMB
650		7	\|a matematicas \|2 LEMB
650		7	\|a programacion [matematicas] \|2 LEMB
942			\|c TG \|2 cdu
945			\|a Lryt \|d 2010-08-19
999			\|c 7125 \|d 199516

Ejemplares similares