検索結果 - "Automatic theorem proving."

Gems of theoretical computer science 著者: Schoning, Uwe 1955-

Gems of theoretical computer science 著者: Schöning, Uwe 1955-

Interactive theorem proving second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, proceedings

Available for the University of the Philippines Diliman via SpringerLink. Click here to access

Logic for computer science foundations of automatic theorem proving 著者: Gallier, Jean H.

Automated deduction - CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Efficient checking of polynomials and proofs and the hardness of approximation problems 著者: Sudan, Madhu

Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Symbolic logic and mechanical theorem proving 著者: Chang, Chin-Liang, 1937-

5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980

Communication complexity a new approach to circuit depth 著者: Karchmer, Mauricio

Click here to access thru EZproxy
Click here to access