Torthaí cuardaigh

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 de réir Chlipala, Adam 1981-

Click here to access thru EZproxy
Click here to access

Communication complexity a new approach to circuit depth de réir Karchmer, Mauricio

Click here to access thru EZproxy
Click here to access

Model-based requirements engineering de réir 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 de réir 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 de réir 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