Click here to see Funny Pictures

 
Google
 
Discovered Topics
 logic

Discover From This Page & Topic: [] logic
 [] Magic sets and other strange ways to implement logic programs (extended abstract) http://doi.acm.org/10.1145/6012.15399 (academic inference formal method)
 [] A Trustworthy, Extensible Theorem Prover (Ph.D. Dissertation Proposal) http://www.cs.utexas.edu/users/jared/milawa/Documentation/Proposal/proposal-web.pdf (thesis academic proof theory)
 [] dagstuhlS070202.pdf (Objet application/pdf) http://www.cs.man.ac.uk/~horrocks/Slides/dagstuhlS070202.pdf (description logic)