Orden contractual mínima de prestación de servicios profesionales en matemáticas, para realizar actividades en la construcción de un agente para isabelle y la aplicación en la demostración de teoremas en combinatoria,…
Universidad Nacional de Colombia · DISTRITO CAPITAL DE BOGOTa
Publicado Cierre Actualizado
- Entidad
- Universidad Nacional de Colombia
- ID del proceso
- CO1.NTC.10249436
- Modalidad
- Contratación régimen especial
- Estado
- Published
- Valor estimado
- $ 19.920.319
- Ubicación
- DISTRITO CAPITAL DE BOGOTa
- Fecha de publicación
- 29 de abril de 2026
- Fecha de cierre
- Sin fecha
Objeto del proceso
Orden contractual mínima de prestación de servicios profesionales en matemáticas, para realizar actividades en la construcción de un agente para isabelle y la aplicación en la demostración de teoremas en combinatoria, en el marco del proyecto
2 documentos del proceso
- Documento del procesoResumen IA disponible
- Documento del procesoResumen IA disponible
Lee los resúmenes IA de 2 documentos y chatea con el pliego
Con tu cuenta puedes revisar requisitos habilitantes, fechas críticas y experiencia exigida, y preguntar directamente sobre este proceso.