Symbolic logic and mechanical theorem proving. Chang Ching-Liang; Lee Richard Char-Tung

By: Contributor(s): Material type: TextTextLanguage: English Publication details: 1973DDC classification:
  • R140aD, L3
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Status Barcode
Textual Textual South Campus Library South Campus Library R140aD L3 (Browse shelf(Opens below)) Available SC0457228

There are no comments on this title.

to post a comment.