SMT-Based Methods for Difference Logic Invariant Generation
Visualitza/Obre
104533.pdf (885,9Kb) (Accés restringit)
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099.1/26062
Tutor / directorOliveras Llunell, Albert; Rodríguez Carbonell, Enric; Larrosa Bondia, Francisco Javier
Tipus de documentProjecte Final de Màster Oficial
Data2015-04-24
Condicions d'accésAccés restringit per acord de confidencialitat
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
TitulacióMÀSTER UNIVERSITARI EN INTEL·LIGÈNCIA ARTIFICIAL (Pla 2012)
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
104533.pdf | 885,9Kb | Accés restringit |