UPV

UPV

:: Iniciar sesión ::

Concolic Testing in Logic Programming (ICLP'15)

Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV

[ Ver más vídeos de RTV ] [ Ver más Vídeos didácticos ]

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

PoliApps

2:,0 · 2024

Parler de sa famille

Parler de sa famille

15:38 · 2008

Ejercicio 4

8:38 · 2009

Practica de objetos - Tuercas

Practica de objetos - Tuercas

1:46 · 2015

Placas: Campo eléctrico creado por dos placas conductoras idénticas pero de signo opuesto

Placas: Campo eléctrico creado por dos placas conductoras idénticas pero de signo opuesto

0:05 · 2018

Los activos del mercado del arte como objeto de inversión financiera

Los activos del mercado del arte como objeto de inversión financiera

9:02 · 2009

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