BIBLIOTECA

Normal view MARC view ISBD view

Symbolic logic and Mechanical theorem proving

By: Char, Richard.
Contributor(s): Lee, Tung.
Material type: TextText
Tags from this library: No tags from this library for this title.
Item type Current location Home library Call number Status Notes Date due Barcode
Libro impreso Libro impreso Sede Tigre - Instituto de Investigación
Sede Tigre - Instituto de Investigación
004934 (Browse shelf) Available Solicitar en la Sede Tigre 004934