Symbolic Logic and Mechanical Theorem Proving /

Furkejuvvon:

Bibliográfalaš dieđut
Váldodahkki:	Chang, Ching-Liang (autor)
Eará dahkkit:	Lee, Richard Char-Tung (autor)
Materiálatiipa:	Girji
Giella:	eaŋgalasgiella
Fáttát:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Geahča maid: Symbolic Logic and Mechanical Theorem Proving /

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