Aquatic Mammals 2003, 29.2, 181–201 A review of social recognition in pinnipeds Stephen J. Insley1, Alana V. Phillips2 and Isabelle Charrier3 1 Hubbs-SeaWorld Research Institute, San Diego, CA, USA

Source URL: www.cb.u-psud.fr

U K I - E n t e r t h e B i o Ne t The interactive installation Enter the BioNet launches us into the future in a science-fiction scenario in which the Net, the Internet of our time, has collapsed. The Genom Corp has tak

Source URL: u-k-i.co

• BIOSCI
• Bioinformatics
• New media artists
• Isabelle Arvers
• Shu Lea Cheang
• I.K.U.
• Cheang
• Orgasm
• Red blood cell
• Biology
• Visual arts
• Arts

IsaCoSy: Synthesis of Inductive Theorems Moa Johansson, Lucas Dixon, and Alan Bundy University of Edinburgh Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK. {moa.johansson, l.dixon, a.bundy}@ed.ac.uk

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic
• Mathematics
• Mathematical logic
• Rippling
• Theorem
• Mathematical proof
• Isabelle
• Proof assistant

Translation Validation for a Verified OS Kernel Thomas Sewell Magnus Myreen Gerwin Klein

Source URL: www.cl.cam.ac.uk

• Software engineering
• Theoretical computer science
• Computing
• Logic in computer science
• Subroutines
• Formal methods
• Formal verification
• Decompiler
• Calling convention
• Isabelle
• Separation logic
• Satisfiability modulo theories

Contacts: Isabelle Ortega 635026035URI Director of Global Communications | Deborah Lauricella

Source URL: www.uri.org

A CLOSED-FORM SOLUTION MIGHT BE GIVEN BY A TREE. VALUATIONS OF QUADRATIC POLYNOMIALS ALYSSA N. BYRNES, JULIE FINK, GARY LAVIGNE, ISABELLE NOGUES, SENTHIL RAJASEKARAN, AMBER YUAN, LEYDA ALMODOVAR, XIAO GUAN, AASHITA KESAR

Source URL: thales.math.uqam.ca

Specware to Isabelle Interface Manual Specware to Isabelle Interface Manual Copyright © by Kestrel Development Corporation Copyright © by Kestrel Technology LLC

Source URL: www.specware.org

• Software engineering
• Mathematical logic
• Logic
• Proof assistants
• Type theory
• Logic in computer science
• Automated theorem proving
• Isabelle
• Predicate logic
• HOL
• Quantifier
• ML

A Proof Planning Framework For Isabelle Lucas Dixon NI VER

Source URL: homepages.inf.ed.ac.uk

• Automated theorem proving
• Mathematics
• Mathematical logic
• Logic
• IsaPlanner
• Rippling
• Mathematical proof
• Mathematical induction
• Proof assistant
• Isabelle
• Algorithm
• Peano axioms

Capturing Proof Process Andrius Velykis A thesis submitted for the degree of Doctor of Philosophy

Source URL: andrius.velykis.lt

• Automated theorem proving
• Theoretical computer science
• Logic
• Formal methods
• Mathematics
• Logic in computer science
• Proof theory
• Mathematical proof
• Proof assistant
• Isabelle
• Theorem
• Proof

Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science

Source URL: www.itu.dk

• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Type theory
• Proof assistants
• Mathematics
• Automated theorem proving
• Isabelle
• Logical framework
• Twelf
• Formal methods
• Automated reasoning