Biblioteca
Normal view MARC view
  • AUTOMATIC THEOREM PROVING

AUTOMATIC THEOREM PROVING (Término de materia)

Preferred form: AUTOMATIC THEOREM PROVING

Machine generated authority record.

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