Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

Formalization of deep learning techniques with the Why3 proof platform [Documento eletrónico] = [Formalização de técnicas de Deep Learning com a plataforma de prova Why3] / Márcio Alexandre Mota Sousa; orient. Jorge Miguel de Matos Sousa Pinto, Paulo Jorge de Sousa Azevedo

Main Author Sousa, Márcio Alexandre Mota Secondary Author Pinto, Jorge Sousa, 1969-
Azevedo, Paulo J. Corporate Author (Secondary) Universidade do Minho. Escola de Engenharia Country Portugal. Publication [Braga : s.n.], 2021 Dissertation Note or Thesis: CDU 681.3 681.3.062 681.324 Online resource Acesso livre
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Descrição baseada no documento eletrónico

Dissertação de mestrado integrado Engenharia Informática Escola de Engenharia da Universidade do Minho 2022

There are no comments for this item.

Log in to your account to post a comment.