Efficient solving of large arithmetic constraint systems with complex boolean structure : proof engines for the analysis of hybrid discrete-continuous systems /

Código QR

Efficient solving of large arithmetic constraint systems with complex boolean structure : proof engines for the analysis of hybrid discrete-continuous systems /

Detalles Bibliográficos
Formato:	Libro
Lenguaje:	English
Publicado:	c2011.
Acceso en línea:	Ver documento en línea

Internet

Ver documento en línea

Sistema de Bibliotecas de Universidad de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas de Universidad de Costa Rica
Copia	Disponible