THELIB
Regras da Categoria Regras Entrar
  • Livros
  • Tag: reasoning modeling

Livros — reasoning modeling

RU
Lógica e Computador: Modelagem de Raciocínio e Verificação de Correção de Programas

Lógica e Computador: Modelagem de Raciocínio e Verificação de Correção de Programas

A

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

IA e ML
THELIB

Biblioteca de livros de TI com tradução para 8 idiomas.

Catálogo

  • Livros
  • Categorias
  • Regras
  • Acordo

Conta

  • Registrar
  • Entrar
  • Suporte

Informações

  • thelib.cc
  • v0.1
© 2026 THELIB 8 idiomas · Tradução por IA em tempo real