Symbolic Logic and Mechanical Theorem Proving /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Chang, Ching-Liang (autor)
Diğer Yazarlar:	Lee, Richard Char-Tung (autor) (autor)
Materyal Türü:	Kitap
Dil:	İngilizce
Konular:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller: Symbolic Logic and Mechanical Theorem Proving /

Hızlı Bakış
Logic for computer science : foundations of automatic theorem proving /
Hızlı Bakış
Fuzzy Logic : A Framework for a New Millennium /
Hızlı Bakış
Juegos lógicos en el mundo de la inteligencia artificial /
Hızlı Bakış
Symbolic Logic /
Hızlı Bakış
SYMBOLIC LOGIC /
Hızlı Bakış
Understanding Symbolic Logic /
Hızlı Bakış
Fundamentals of symbolic logic /
Hızlı Bakış
Discrete Mathematics of Neural Networks : Selected Topics /
Hızlı Bakış
SYMBOLIC LOGIC AND THE GAME OF LOGIC/
Hızlı Bakış
Fuzzy Logic and Probability Applications : Bridging the Gap /
Hızlı Bakış
Actas del VIII Congreso Español sobre Tecnologías y Lógica Fuzzy : Pamplona, 8-10 de septiembre de 1998 /
Hızlı Bakış
An Introduction to Symbolic Logic /
Hızlı Bakış
Frege's Theorem /
Hızlı Bakış
A First Course in Fuzzy Logic /
Hızlı Bakış
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 /
Hızlı Bakış
Simulación y análisis de modelos estocásticos /
Hızlı Bakış
Computational Logic in Multi-Agent Systems : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : Proceedings /
Hızlı Bakış
Sistemas de Razonamiento Automático Basado en Resolución /
Hızlı Bakış
Sistema demostrativo de razonamiento automático basado en resolución /
Hızlı Bakış
Máquinas y diagramas lógicos /
Hızlı Bakış
Elementary Logic /
Hızlı Bakış
Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : Proceedings /
Hızlı Bakış
Discrete Mathematics for Computer Scientists /
Hızlı Bakış
Introduction to Fuzzy Logic /