Symbolic Logic and Mechanical Theorem Proving /

Guardado en:

Detalles Bibliográficos
Autor principal:	Chang, Ching-Liang (autor)
Otros autores:	Lee, Richard Char-Tung (autor) (autor)
Formato:	Libro
Idioma:	Inglés
Temas:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!

Ejemplares similares: Symbolic Logic and Mechanical Theorem Proving /

Quick Look
Logic for computer science : foundations of automatic theorem proving /
Quick Look
Fuzzy Logic : A Framework for a New Millennium /
Quick Look
Juegos lógicos en el mundo de la inteligencia artificial /
Quick Look
Symbolic Logic /
Quick Look
SYMBOLIC LOGIC /
Quick Look
Understanding Symbolic Logic /
Quick Look
Fundamentals of symbolic logic /
Quick Look
SYMBOLIC LOGIC AND THE GAME OF LOGIC/
Quick Look
Discrete Mathematics of Neural Networks : Selected Topics /
Quick Look
Fuzzy Logic and Probability Applications : Bridging the Gap /
Quick Look
Actas del VIII Congreso Español sobre Tecnologías y Lógica Fuzzy : Pamplona, 8-10 de septiembre de 1998 /
Quick Look
An Introduction to Symbolic Logic /
Quick Look
Frege's Theorem /
Quick Look
A First Course in Fuzzy Logic /
Quick Look
Simulación y análisis de modelos estocásticos /
Quick Look
Interactive Theorem Proving : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 14-17, 2014 : Proceedings /
Quick Look
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : Proceedings /
Quick Look
Sistemas de Razonamiento Automático Basado en Resolución /
Quick Look
Sistema demostrativo de razonamiento automático basado en resolución /
Quick Look
Máquinas y diagramas lógicos /
Quick Look
Elementary Logic /
Quick Look
Discrete Mathematics for Computer Scientists /
Quick Look
Introduction to Fuzzy Logic /
Quick Look
Logic : the theory of formal inference /