Your search returned 2 results.

Results
	1.	No cover image available No cover image available No cover image available Symbolic logic and mechanical theorem proving/ [by] Chin-liang Chang [and] Richard Char-Tung Lee. by Chang, Chin-Liang, 1937- Lee, Richard Char-Tung, 1939- [joint author.] Series: Computer science and applied mathematics Publication details: New York: Academic Press, [1973] Availability: Items available for loan: Castorina (1)Call number: 511.3 C456s 1973 IMPA. Found in Open Library: Place hold Add to cart (remove)
	2.	Communications engineering : essentials for computer scientists and electrical engineers / R.C.T. Lee, Mao-Ching Chiu, Jung-Shan Lin. by Lee, Richard Char-Tung, 1939- Chiu, Mao-Ching Lin, Jung-Shan, 1964- John Wiley & Sons [publisher.] IEEE Xplore (Online service) [distributor.] Material type: Text; Format: available online Publisher: Singapore ; IEEE Press, c2007Distributor: [Piscataqay, New Jersey] : IEEE Xplore, [2007] Online access: Abstract with links to resource Availability: No items available. Found in Open Library: Add to cart (remove)

Refine your search