Normal view
MARC view
Preuve, Théorie de la -- Congrès. (Topical Term)
Machine generated authority record.
Work cat.: (OSt): Computational logic, 1999.