Text this :: Library Catalog

Skip to content

Inicio
Login

Descubre más: busca en todos nuestros recursos

Advanced

Programming and verifying a de...
Text this

Text this: Programming and verifying a declarative first-order prover in Isabelle/HOL.

Number:

Provider:

Search Options

Search History
Advanced Search

Find More

Browse the Catalog
Browse Alphabetically

Need Help?

Search Tips
FAQs

Servicio Nacional de Aprendizaje SENA - Dirección general

Calle 57 No. 8 - 69 Bogotá D.C. (Cundinamarca), Colombia
Atención presencial: Lunes a viernes: 8:00 a.m. a 5:30 p.m.
Resto del país sedes y horarios de atención: Lunes a viernes: 7:00 a.m. a 7:00 p.m.
sábados: 8:00 a.m. a 1:00 p.m.

Lineas gratuitas atención al ciudadano: Bogotá (57 1) 3430111 - Resto del país
018000 910270
Lineas gratuitas atención al empresario: Bogotá (57 1) 3430101 - Resto del país
018000 910682
Conmutador Nacional (57 1) 5461500 - Extensiones 12586 - 13021 - 12535 - 12542

Ministerio del Trabajo | Copyright © 2026 | Todos los derechos reservados

Tecnología implementada por

Biteca S.A.S.