Geek Repo
followers
following
stars
Location:Portugal
Github PK Tool:Github PK Tool
Resolução do trabalho prático 4 da UC Lógica Computacional. Temos 2 problemas, um problema relacionado com Verificação Formal de Software e outro problema relacionado com Sistemas Híbridos
Models and examples built with TensorFlow