Biblioteca Jorge Álvarez Lleras

Su carrito está vacío.
Vista normal Vista MARC
  • AUTOMATIC THEOREM PROVING

AUTOMATIC THEOREM PROVING (Término de materia)

Número de registros utilizados en: 1
Forma preferida: AUTOMATIC THEOREM PROVING

Machine generated authority record.

Work cat.: (CoBo-ECI)9299: Nipkow, Tobias 23299, Isabelle/ , 2002.

Oferta académica

Nuestro Campus

Internacionalización

Ayuda

  • acriditación institucional
  • Google Maps AK. 45 No. 205 - 59, Autopista Norte. PBX: +60(1) 668 3600 - Bogotá.
  • PBX: +57(1) 668 3600 - Bogotá.
  • Línea nacional gratuita: 018000112668.