Lawrence C. Paulson's Documents

Lawrence C. Paulson's Documents

ML for the working programmer

ML for the working programmer
Read more
Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Read more
Isabelle: A Generic Theorem Prover

Isabelle: A Generic Theorem Prover
Read more
Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Read more
Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Isabelle-HOL - A Proof Assistant for Higher-Order Logic
Read more
Sin and Evil: Moral Values in Literature

Sin and Evil: Moral Values in Literature
Read more
Мигель Серрано - Майя. Реальность – это Иллюзия

Мигель Серрано - Майя. Реальность – это Иллюзия
Read more
TOEFL Secrets

TOEFL Secrets
Read more
Stitched in Time: Memory-Keeping Projects to Sew and Share from the Creator of Posie Gets Cozy

Stitched in Time: Memory-Keeping Projects to Sew and Share from the Creator of Posie Gets Cozy
Read more
Inside Cisco: The Real Story of Sustained M&A Growth

Inside Cisco: The Real Story of Sustained M&A Growth
Read more
Foundations of functional programming

Foundations of functional programming
Read more
On the Brink: Inside the Race to Stop the Collapse of the Global Financial System

On the Brink: Inside the Race to Stop the Collapse of the Global Financial System
Read more
On the Brink: Inside the Race to Stop the Collapse of the Global Financial System

On the Brink: Inside the Race to Stop the Collapse of the Global Financial System
Read more
Kundalini & the Chakras: Evolution in this Lifetime

Kundalini & the Chakras: Evolution in this Lifetime
Read more
Handbook of Phase Change: Boiling and Condensation

Handbook of Phase Change: Boiling and Condensation
Read more
On the Brink: Inside the Race to Stop the Collapse of the Global Financial System

On the Brink: Inside the Race to Stop the Collapse of the Global Financial System
Read more
Handbook of Regression and Modeling: Applications for the Clinical and Pharmaceutical Industries

Handbook of Regression and Modeling: Applications for the Clinical and Pharmaceutical Industries
Read more
Biostatistics and Microbiology: A Survival Manual

Biostatistics and Microbiology: A Survival Manual
Read more
Silent Victim

Silent Victim
Read more
An Introduction to Stochastic Differential Equations

An Introduction to Stochastic Differential Equations
Read more
Silent Screams

Silent Screams
Read more
Partial Differential Equations

Partial Differential Equations
Read more
Partial Differential Equations

Partial Differential Equations
Read more
Great Heart Rising

Great Heart Rising
Read more
The News Shapers: The Sources Who Explain the News

The News Shapers: The Sources Who Explain the News
Read more
Popular Culture in Counseling, Psychotherapy, and Play-Based Intervention

Popular Culture in Counseling, Psychotherapy, and Play-Based Intervention
Read more
The Optimism Advantage: 50 Simple Truths to Transform Your Attitudes and Actions into Results

The Optimism Advantage: 50 Simple Truths to Transform Your Attitudes and Actions into Results
Read more
Applied Statistical Designs for the Researcher (Biostatistics)

Applied Statistical Designs for the Researcher (Biostatistics)
Read more
Handbook of Topical Antimicrobials: Industrial Applications in Consumer Products and Pharmaceuticals

Handbook of Topical Antimicrobials: Industrial Applications in Consumer Products and Pharmaceuticals
Read more
Silent Slaughter

Silent Slaughter
Read more