Cargando…

El mundo de TARSKI : una herramienta auxiliar en la enseñanza de la lógica de primer orden

Detalles Bibliográficos
Autor principal:	Díaz López, Joaquín
Formato:	Tesis Libro
Lenguaje:	Spanish
Publicado:	Xalapa, Ver. : [s. n.], 1997.
Materias:	Informática.

Ejemplares similares

Herramienta auxiliar en la administración de riesgos del software/
por: Méndez Ortiz, José
Publicado: (2008)

"Análisis de la legislación informática en México y el mundo :aciertos y limitaciones"/
por: Sánchez Ojeda, Greicy Lizbeth
Publicado: (2008)

"Generalidades de VRML para la creación de mundos virtuales"/
por: Salas Medina, Vanessa Itzel
Publicado: (2009)

Aplicación de una herramienta de diseño basada en el modelo semántico
por: Ruíz Gómez, Anabella
Publicado: (1995)

SAR, una herramienta para la definición de la regulación en GroupWares/
por: López Martínez, Ismael
Publicado: (2007)

Reingeniría de la herramienta automática para el reuso de requerimientos, basada en áncora:Reusoft/
por: Trinidad Santos, Roberto
Publicado: (2009)

The Banach-Tarski paradox
por: Wagon, Stan
Publicado: (1993)

The Banach-Tarski paradox
por: Wagon, Stan
Publicado: (1985)

VIR ( Una herramienta para el análisis y uso de Bases de datos de biosecuencias )
por: Montes González Fernando Martín
Publicado: (1995)

Una propuesta de enseñanza-aprendizaje de la materia de computación a nivel primaria bajo el enfoque constructivista
por: Amador Hernández, Karla Lizeth
Publicado: (2002)

Desarrollo de una interfaz orientada a objetos para un mundo sintético de agentes reactivos
por: Muñoz Meléndez, Angélica
Publicado: (1995)

Recopilación de temas de lógica proposicional, lógica de predicados y lógica modal así como su aplicación dentro de la Informática
por: Alarcón Avila, Armando Enrique Escepione
Publicado: (1997)

"Desarrollo de una herramienta para la inscripción en Web a la Universidad Veracruzana"/
por: León Ortega, Iván
Publicado: (2008)

Animalia, software educativo orientado a la práctica de la lectoescritura en el primer grado de Educación Primaria.
por: Ramirez Morales, José Luis
Publicado: (2010)

Capacitación de informática en el COBATAB aplicando las herramientas del internet
por: Mar Ramón, Beatríz
Publicado: (1998)

Multimedia como herramienta de difusión de la unidad de estudios de posgrado
por: Medina Salazar, María Leticia
Publicado: (1997)

Implementación de técnicas de tratamiento de lenguaje natural en un sistema multimedios para el apoyo de la lecto-escritura
por: Salas López, María Mercedes
Publicado: (1996)

Implantación de un sistema de directorio en el WEB de Lania utilizando técnicas de modelación y herramientas de diseño y programación
por: Domínguez García, Loyda Josefa
Publicado: (1997)

Diagnóstico de la gestión informática en una dependencia gubernamental del estado de Veracruz; resultado de una investigación de campo/
por: Luna López, Lorena
Publicado: (2008)

Propuesta de una auditoría informática apoyada en una herramienta de evaluación Benchmark y un caso práctico
por: Aguilera Camacho, Luz de Abryl
Publicado: (1998)

Reporte de experiencia profesional en el desarrollo de Software
por: Mendoza López, Gerardo Antonio
Publicado: (1997)

El papel de la auditoría informática en la seguridad de los centros de cómputo
por: Hernández y Hernández, Patricia
Publicado: (1998)

"Diseño y aplicación de una guía de usabilidad para el desarrollo de software educativo multimedia para niños de primer grado de primaria"/
por: Zamudio Macegoza, Roberto Yarit
Publicado: (2008)

Automatización de procesos para el registro y control de las operaciones de comercialización de la compañia nacional de subsistemas populares
por: Rosales López, Marco Antonio
Publicado: (1997)

El papel de la auditoría informática en la seguridad de los centros de cómputo
por: Hernández Hernández, Patricia
Publicado: (1998)

Sistema para la regionalización del programa de cobertura universal de los servicios de salud de Veracruz con el apoyo de un Sig
por: Salazar López, Alfonso
Publicado: (2002)

Desarrollo de un sistema de información para el control de obra pública
por: Roa Díaz, Claudia Lina
Publicado: (1996)

Experiencia laboral en el campo de la informática
por: Gómez Quezada, Sergio
Publicado: (1998)

Sistema de información curricular para el Instituto de Investigaciones Psicológicas/
por: Díaz Méndez, Fidel
Publicado: (2008)

Programa de estudios de capacitacion para el trabajo de bachillerato informática
por: López López, Armando
Publicado: (1993)

"Elaboración de objetos de aprendizaje como apoyo a los alumnos de la Facultad de Agronomía. En el tema de la fotisíntesis"
por: Velasco Hernández, Víctor Hugo
Publicado: (2008)

Herramientas de búsqueda sobre texto libre para sistemas orientados al análisis de información documental
por: López Ortíz, Rafael
Publicado: (2002)

La administración de recursos de cómputo bajo el enfoque de competencias
por: Luna Sánchez, Hilya Juliana
Publicado: (2002)

La función de la computadora en el proceso editorial y como medio de comunicación escrita
por: Pedregal Cortés, Rafael
Publicado: (1998)

Experiencia laboral en el desarrollo e implementación de sistemas de información en la comision federal de electricidad y el grupo Salinas Pliego
por: Colorado Navarro, Guillermina
Publicado: (2002)

Sistema web para la gestión de eventos de CONACYT en el Estado de Veracruz/
por: Cabrera Toledo, Erick
Publicado: (2008)

Propuesta de metodología para el desarrollo de sitios WEB, basada en la Ingeniería de Software
por: Ruíz Castro, Roberto
Publicado: (2005)

"Propuesta de guía para optimizar el control de la seguridad informática en centros de cómputo"
por: Martínez Mejia, Celso
Publicado: (2010)

Sistema para el control, manejo, documentación y ejecución de los códigos computacionales de la administración de combustible nuclear en una computadora VAX
por: Zúñiga Alor, Martha Elsa
Publicado: (1994)

Funciones, responsabiblidades y actividades en el puesto de especialista "D" en la empresa de Petróleos de Méxicanos
por: Martínez Méndez, Angela
Publicado: (1993)

Cannot write session to /tmp/vufind_sessions/sess_gtp0dqpo7a1dcv0gq6o3bp73c0