1. Symbolic logic and mechanical theorem proving

by Chang, Chin-Liang | Lee, Richard Char-Tung.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1).
2. Communications engineering : essentials for computer scientists and electrical engineers

by Chiu, Mao-Ching | Lee, Richard Char-Tung | Lin, Jung-Shan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Singapore: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 621.382 LEE] (1).

Powered by Koha