UPV

UPV

:: Iniciar sessió ::

Concolic Testing in Logic Programming (ICLP'15)

Divulgació de les activitats científiques, tecnològiques i artístiques ocorregudes en els tres campus de la UPV

[ Veure més vídeos de UPV TV ] [ Veure més vídeos didàctics ]

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

24:24 · 2016

Concolic Testing in CLP

Concolic Testing in CLP

15:55 · 2020

Reversible Computations in Logic Programming

Reversible Computations in Logic Programming

20:13 · 2020

Programming Logic and Languages: event-driven programming

Programming Logic and Languages: event-driven programming

4:37 · 2015

Mercado Agroecológico UPV

Mercado Agroecológico UPV

3:36 · 2024

Marchita: el recuerdo de una vida

Marchita: el recuerdo de una vida

1:18 · 2024

Bayes' Theorem

7:18 · 2024

Cotas superiores e inferiores de una relacion binaria

Cotas superiores e inferiores de una relacion binaria

10:47 · 2014

Comportamiento mecánico-dinámico de materiales poliméricos. Ángulo de desfase

Comportamiento mecánico-dinámico de materiales poliméricos. Ángulo de desfase

10:45 · 2012

Etapas iniciales en la planificación del transporte público

Etapas iniciales en la planificación del transporte público

8:41 · 2026

Universitat Politècnica de València © 2020 · Tel. (+34) 96 387 70 00