Isabelle - PDFSEARCH.IO - Document Search Engine

Isabelle
Results: 1487

#	Item
741	English Breast Cancer Survivorship: Role of Surgery Isabelle Bedrosian, M.D. Spanish Translation Supervivencia al cáncer de mama: Función de la cirugía Add to Reading List Source URL: cms.mdanderson.org Language: Spanish
742	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Model theory Predicate logic Skolem normal form Counterexample Free variables and bound variables Universal quantification Function American English Mathematics Logic Mathematical logic
743	Impact de l’utilisabilité, la motivation et l’expérience utilisateur sur l’engagement à utiliser une application mobile Résumé Isabelle Tissier Add to Reading List Source URL: www.guillaumegronier.com Language: French - Date: 2015-03-10 15:27:14
744	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
745	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Copyleft Computer law Intellectual property law Automated theorem proving Formal methods Isabelle L4 microkernel family Creative Commons KeY Open content Mathematical software Law
746	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Higher-order functions Functional languages Algebraic structures Abstract data types Procedural programming languages Fold Monoid Semigroup Double-ended queue Software engineering Computing Computer programming
747	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Semigroup theory Abstract algebra Category theory Monoid Inverse element Semigroup Constructible universe Isabelle Fixed-point combinator Mathematics Algebra Algebraic structures
748	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
749	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
750	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics

UPDATE