• Libros
  • Etiqueta: automated theorem proving

Libros — automated theorem proving

RU
Lógica matemática y teoría de algoritmos: manual de estudio

Lógica matemática y teoría de algoritmos: manual de estudio

A

Ю. В. Вайнштейн, Т. Г. Пенькова, В. И. Вайнштейн

Algoritmos y teoría