BIBLIOTECA

Normal view MARC view
  • Lee, Tung

Lee, Tung (Nombre personal)

Preferred form: Lee, Tung

Machine generated authority record.

Work cat.: (AR-SiUPM): Char, Richard 13273, Symbolic logic and Mechanical theorem proving