Encuadernación Siekmann J., Wrightson G. Automation of Reasoning. 2 Classical Papers on Computational Logic 1967-1970
Id: 74153

Automation of Reasoning.
2 Classical Papers on Computational Logic 1967-1970

638 pp. (English). Libros usados. Estado: 4+. Есть погашенная библиотечная печать.
  • Cartoné