Resultados da busca

Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

Certified programming with dependent types a pragmatic introduction to the Coq proof assistant por Chlipala, Adam 1981-

Click here to access thru EZproxy
Click here to access

Communication complexity a new approach to circuit depth por Karchmer, Mauricio

Click here to access thru EZproxy
Click here to access

Model-based requirements engineering por Holt, Jon, Perry, Simon A., Brownsword, Mike

Available for University of the Philippines Diliman via IET Digital Library. Click here to access
Also available remotely for University of the Philippines Diliman via IET Digital Library. Click here to access thru EZproxy

Proof technology and computation

Efficient checking of polynomials and proofs and the hardness of approximation problems por Sudan, Madhu

Design and implementation of symbolic computation systems International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings

Gems of theoretical computer science por Schoning, Uwe 1955-

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

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