Soundness - PDFSEARCH.IO - Document Search Engine

Soundness
Results: 384

#	Item
371	Implementing a Propositional Logic Theorem Prover in Haskell Submitted 21st April 2010 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-25 07:41:14 Logical syntax Automated theorem proving Model theory First-order logic Resolution Theorem Vampire Tautology Soundness Logic Mathematical logic Propositional calculus
372	PDF Document Add to Reading List Source URL: www.fhfa.gov Language: English Economy of the United States Armando Falcon Housing Federal Housing Enterprises Financial Safety and Soundness Act United States federal executive departments Fannie Mae Government-sponsored enterprise Freddie Mac Office of Fair Housing and Equal Opportunity Mortgage industry of the United States Office of Federal Housing Enterprise Oversight Affordable housing
373	PDF Document Add to Reading List Source URL: www.fhfa.gov Language: English Affordable housing Subprime mortgage crisis Office of Federal Housing Enterprise Oversight Finance Structured finance James B. Lockhart III Fannie Mae Federal Housing Enterprises Financial Safety and Soundness Act Freddie Mac Mortgage industry of the United States Economy of the United States United States housing bubble
374	PDF Document Add to Reading List Source URL: www.fhfa.gov Language: English Fannie Mae United States housing bubble Franklin Raines United States Office of Federal Housing Enterprise Oversight Federal Housing Enterprises Financial Safety and Soundness Act James B. Lockhart III Federal takeover of Fannie Mae and Freddie Mac Mortgage industry of the United States Economy of the United States Subprime mortgage crisis
375	PDF Document Add to Reading List Source URL: www.fecundity.com Language: English - Date: 2012-01-06 00:33:14 Deduction Logical consequence Reasoning Critical thinking Validity Entailment Deductive reasoning Soundness Propositional calculus Logic Philosophy Arguments
376	PDF Document Add to Reading List Source URL: www.gao.gov Language: English - Date: 2011-09-29 20:52:45 Affordable housing United States housing bubble Structured finance Fannie Mae Freddie Mac Federal Housing Enterprises Financial Safety and Soundness Act Government-sponsored enterprise Office of Federal Housing Enterprise Oversight United States Department of Housing and Urban Development Mortgage industry of the United States Economy of the United States Subprime mortgage crisis
377	PDF Document Add to Reading List Source URL: www.gao.gov Language: English - Date: 2007-08-28 08:41:20 Fannie Mae Freddie Mac United States Department of Housing and Urban Development Federal Housing Administration Office of Federal Housing Enterprise Oversight Government-sponsored enterprise Mortgage-backed security Office of Fair Housing and Equal Opportunity HUD USER Mortgage industry of the United States Economy of the United States Federal Housing Enterprises Financial Safety and Soundness Act
378	PDF Document Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-04-07 21:43:47 Cryptographic protocols Zero-knowledge proof Interactive proof system Proof theory IP Commitment scheme NP Soundness Permutation Cryptography Theoretical computer science Applied mathematics
379	PDF Document Add to Reading List Source URL: www.austinmohr.com Language: English - Date: 2007-04-27 02:36:21 Applied mathematics Zero-knowledge proof Interactive proof system IP NP Soundness Commitment scheme Alice and Bob Proof of knowledge Cryptography Theoretical computer science Cryptographic protocols
380	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:37:50 Rules of inference Philosophical logic Logical consequence Natural deduction Entailment Soundness Inference Disjunctive syllogism Modal logic Logic Proof theory Deduction