THELIB
Reglas de categoría Reglas Iniciar sesión
  • Libros
  • Etiqueta: reasoning modeling

Libros — reasoning modeling

RU
Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

Lógica y computadora: Modelado del razonamiento y verificación de la corrección de programas

A

Н.А. Алешина, А.М. Анисов, П.И. Быстров, И.А. Герасимова, В.С. Меськов, Н.Н. Непейвода, В.А. Смирнов, В.Н. Стеблецова, В.И. Шалак

IA y ML
THELIB

Biblioteca de libros de TI con traducción a 8 idiomas.

Catálogo

  • Libros
  • Categorías
  • Reglas
  • Acuerdo

Cuenta

  • Registrarse
  • Iniciar sesión
  • Soporte

Información

  • thelib.cc
  • v0.1
© 2026 THELIB 8 idiomas · Traducción con IA al instante