Eitemau Tebyg: Symbolic Logic and Mechanical Theorem Proving /
Pwnc: Ingeniería Computacional
Pwnc: Inteligencia Artificial
- Cybernetics : Or Control and Communication in the Animal and the Machine /
- Heuristics : intelligent search strategies for computer problem solving /
- El concepto de información en la ciencia contemporánea /
- Máquinas y diagramas lógicos /
- Ideas fundamentales sobre la teoría de la información, del lenguaje y de la cibernética /
- Los robots /