Máquinas y diagramas lógicos /
Contiene: El Ars Magna de Ramón Llull; Diagramas Lógicos; Un Diagrama Reticular para el Cálculo Proposicional; El "Demostrador" de Stanhope; La Máquina Lógica de Jevons; La Máquina de Marquand, y otras; Tarjetas con Ventanas; Las Máquinas Eléctricas; Máquinas Inteligentes; Apéndice.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | İspanyolca |
| Baskı/Yayın Bilgisi: |
Madrid, España :
Alianza,
1985
|
| Konular: | |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller: Máquinas y diagramas lógicos /
- Lógica computacional /
- Juegos lógicos en el mundo de la inteligencia artificial /
- Fundamentals of Computation Theory : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings /
- Sistemas de Razonamiento Automático Basado en Resolución /
- Sistema demostrativo de razonamiento automático basado en resolución /
- Symbolic Logic and Mechanical Theorem Proving /