• Livres
  • Tag : automated theorem proving

Livres — automated theorem proving

RU
Logique mathématique et théorie des algorithmes : manuel

Logique mathématique et théorie des algorithmes : manuel

A

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

Algorithmes et théorie