Make us homepage
Add to Favorites
FAIL (the browser should render some flash content, not this).

Main page » Tag Isabelle

Sort by: date | rating | most visited | comments | alphabetically


Memory and Dream
0
 
 

Memory and DreamMemory and Dream

Charles de Lint - Memory and Dream

As a student of the brilliant Vincent Rushkin, Isabelle discovered she could paint images so real they brought her dreams to life. But when the forces she unleashed brought tragedy to those she loved, she turned her back on it all. Now, 20 years later, Isabelle must come to terms with the memories and unlock the power of her brush.

REUPLOAD NEEDED

 
  More..
Tags: brought, Dream, Isabelle, Memory, turned, loved, REUPLOAD
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
3
 
 

Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic

This book is a self-contained introduction to interactive proof in higher-order logic (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
 
  More..
Tags: Isabelle, Logic, proof, three, Techniques, Assistant, Proof, Higher-Order
Pretend You Don't See Her
4
 
 

Pretend You Don't See HerPretend You Don't See Her

Real estate agent Lacey Farrell witnesses the murder of a client, Isabelle Waring, in an expensive show home, and just before dying Isabelle tells Lacey that she thinks her killer, psychotic assassin "Curtis Caldwell", is after her late daughter's journal.The novel is based on how the cops find out who assigned Caldwell to kill Isabelle and her daughter with the help of Lacey Farrell.
 
  More..
Tags: Lacey, Isabelle, Caldwell, Farrell, daughter, Pretend