نتائج البحث

Model-based requirements engineering حسب 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

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 solving of large arithmetic constraint systems with complex boolean structure proof engines for the analysis of hybrid discrete-continuous systems حسب Herde, Christian

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

Proof technology and computation

Gems of theoretical computer science حسب Schöning, Uwe 1955-

Gems of theoretical computer science حسب Schoning, Uwe 1955-

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

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

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