United States Court of Appeals FOR THE EIGHTH CIRCUIT ___________ No___________

Source URL: caselaw.lp.findlaw.com

• Supreme Court of the United States
• Law
• United States courts of appeals
• Old Chief v. United States
• Huddleston v. United States
• Intention
• United States v. Thomas
• Legal burden of proof
• Batson v. Kentucky
• Dennis Jacobs
• Milan Smith

Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689

Source URL: se.inf.ethz.ch

• Logic
• Philosophy
• Abstraction
• Logic in computer science
• Proof theory
• Formal languages
• Syntax
• Formal methods
• Mathematical proof
• Mathematical logic
• Eiffel
• Formal proof

Microsoft Word - Genesereth-Proof.docx

Source URL: ggp.stanford.edu

• Game theory
• Game artificial intelligence
• Gaming
• Decision theory
• Combinatorial game theory
• General game playing
• Mathematics
• Artificial intelligence
• Game Description Language
• GGP
• Reykjavk University
• Game tree

Indexer October 2007 Centrepiece_second proof.qxd

Source URL: www.theindexer.org

• Linguistics
• Phonetics
• Languages of Botswana
• Khoe languages
• Languages of Africa
• Languages of South Africa
• Click consonants
• Languages of Namibia
• Khoisan languages
• Khwe language
• Naro language
• Khoekhoe language

______________________________________________________________________ Colorado Genealogical Society Computer Interest Group Newsletter Special Edition

Source URL: cigcolorado.org

• Genealogy
• Kinship and descent
• Family history society
• National Genealogical Society
• Genealogical Proof Standard
• Anthropology
• Human behavior
• Behavior

PML : A new proof assistant and deduction system Christophe Raffalli LAMA

Source URL: www.lama.univ-savoie.fr

• Type theory
• Theoretical computer science
• Mathematical logic
• Programming language theory
• Lambda calculus
• Formal methods
• Logic in computer science
• CurryHoward correspondence
• HindleyMilner type system
• Simply typed lambda calculus
• Type system
• Proof assistant

Page: 1 Job Path: @psc3912/cville_data2/stcodes/wy/rls-supp/qj58440 Date: Time: 14:56:59 WY -- PROOF

Source URL: www.courts.state.wy.us

• Law
• Legal ethics
• Philosophy of law
• Practice of law
• Professional ethics
• Legal professions
• Unbundled legal services
• American Bar Association Model Rules of Professional Conduct
• Interest on Lawyer Trust Accounts
• Law of agency
• Lawyer
• Confidentiality

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University

Source URL: www.phil.uu.nl

• Logic
• Mathematical logic
• Non-classical logic
• Modal logic
• Proof theory
• Philosophical logic
• Model theory
• Admissible rule
• Sequent
• Normal modal logic
• Kripke semantics
• Intuitionistic logic

NOT APPROVED F0R DISTRIBUTION - NOT APPROVED F0R DISTRIBUTION NOT APPROVED F0R DISTRIBUTION - NOT APPROVED F0R DISTRIBUTION PROOF

Source URL: webreprints.djreprints.com

Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t

Source URL: people.mpi-inf.mpg.de

• Theoretical computer science
• Software engineering
• Programming language theory
• Logic in computer science
• Proof assistants
• Formal methods
• Automated theorem proving
• Isabelle
• Satisfiability modulo theories
• ACL2
• Curry
• Logic for Computable Functions