Koha online catalog › Results of search for 'su:"DEMOSTRACION AUTOMATICA DE TEOREMAS"'

Your search returned 2 results.

	1.	No cover image available No cover image available El uso de redes neurales para guiar la simplificación de términos en un demostrador automática de teoremas : primeros resultados para la teoría de los grupos by Willigs Villalba, Clara María. Publisher: Asunción- Universidad Católica. Facultad de Ciencias y Tecnología 1995Availability: Items available for loan: Campus [Call number: /tT001.644 042 WIL] (3). Place hold Add to your cart (remove)
	2.	No cover image available No cover image available El uso de redes neurales para guiar la simplificación de términos en un demostrador automática de teoremas : primeros resultados para la teoría de los grupos by Willigs Villalba, Clara María. Publisher: Asunción- Universidad Católica. Facultad de Ciencias y Tecnología 1995Availability: No items available Add to your cart (remove)