Symbolic logical and mechanical theorem proving /

by Chang, Chin-Liang,

Additional authors: Lee, Richard Char-Tung -- 1939- Series: (Computer science and applied Mathematics) Published by : Academic P., (New York :) Physical details: 331 p. Year: 1973

Reviews from LibraryThing.com:

Tags from this library:

No tags from this library for this title.

Holdings ( 1 )
Title notes
Comments ( 0 )

Item type	Location	Call number	Status	Date due
1 Week Loan	Turkeyen Campus Science & Technology	QA9 Cha (Browse shelf)	Available

Browsing Turkeyen Campus Shelves , Shelving location: Science & Technology Close shelf browser

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	Next
Previous	QA7 .S8 1964 Topics in modern mathematics.	QA8.4 D37 The Mathematical Experience /	QA8 .7 R32 The radio mathematics project :	QA9 Cha Symbolic logical and mechanical theorem proving /	QA9 .C6 The common sense of the exact sciences,	QA9 .D2 1962 Number, the language of science;	Next

82569

There are no comments for this item.

University of Guyana Library

Public lists

Your lists

Symbolic logical and mechanical theorem proving /

by Chang, Chin-Liang,

Browsing Turkeyen Campus Shelves , Shelving location: Science & Technology Close shelf browser

Search for this title in: