Yazar

lawrence c paulson

23 cilt bulundu.

Cilt sonuçları

Isabelle

Lawrence C. Paulson · Springer-Verlag

321 sayfa · 1994

Automatic theorem proving / Isabelle (Computer file)

ML for the working programmer

Lawrence C. Paulson · Cambridge University Press

476 sayfa · 1991

ML (Computer program language)

Logic and computation

Lawrence C. Paulson · Cambridge University Press

311 sayfa · 1987

Cambridge LCF (Computer system) / Data processing / Computable functions / Démonstration de théorème / Cambridge LCF (logiciel)

Logic and Computation

Lawrence C. Paulson · Cambridge University Press

320 sayfa · 1987

Cambridge LCF (Computer system) / Data processing / Computable functions

Interactive Theorem Proving

Lawrence C. Paulson, Matt Kaufmann · Springer

Sayfa sayısı yok · 2011

Kategori yok

Isabelle/HOL

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel · Springer London, Limited

222 sayfa · 2002

Computer logic / Automatic theorem proving / Computer science / Software engineering / Logic design

Pearson Literature--California--Reading and Language

Grant P. Wiggins, Diane Ackerman, Brian W. Aldiss, Rudolfo A. Anaya, Maya Angelou, Susan B. Anthony, · Pearson Educational

Prentice Hall Literature--Timeless Voices, Timeless Themes--Silver Level

Kate Kinsella, Kevin Feldman, Colleen Shea-Stump Ph.D., · Prentice Hall

Prentice Hall Literature--Timeless Voices, Timeless Themes--Reader's Companion--Silver

Prentice-Hall, inc., Ray Bradbury, Maya Angelou, Mark Twain, · Prentice Hall

CiltRewriting in Cambridge LCFLawrence C. Paulson

Rewriting in Cambridge LCF

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

32 sayfa · 1987

Kategori yok

CiltNatural deduction proof as higher-order resolutionLawrence C. Paulson

Natural deduction proof as higher-order resolution

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

25 sayfa · 1985

Kategori yok

CiltInteractive theorem proving with Cambridge LCFLawrence C. Paulson

Interactive theorem proving with Cambridge LCF

Lawrence C. Paulson · University of Cambridge,Computer Laboratory

140 sayfa · 1985

Kategori yok

CiltProving termination of normalization functions for conditional expressionsLawrence C. Paulson

Proving termination of normalization functions for conditional expressions

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

16 sayfa · 1985

Kategori yok

Computer securityMechanized proofs of security protocolsLawrence C. Paulson

Mechanized proofs of security protocols

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

20 sayfa

Mathematical models / Computer security

CiltLessons learned from LCFLawrence C. Paulson

Lessons learned from LCF

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

16 sayfa · 1984

Kategori yok

CiltVerifying the unification algorithm in LCFLawrence C. Paulson

Verifying the unification algorithm in LCF

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

37 sayfa · 1984

Kategori yok

CiltThe revised logic PPLamda a reference manualLawrence C. Paulson

The revised logic PPLamda a reference manual

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

28 sayfa · 1983

Kategori yok

CiltConstructing recursions operators in intuitionistic type theoryLawrence C. Paulson

Constructing recursions operators in intuitionistic type theory

Lawrence C. Paulson · University of Cambridge,Computer Laboratory

46 sayfa · 1984

Kategori yok

CiltThe representation of logics in higher-order logicLawrence C. Paulson

The representation of logics in higher-order logic

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

29 sayfa · 1987

Kategori yok

CiltThe foundation of a generic theorem proverLawrence C. Paulson

The foundation of a generic theorem prover

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

44 sayfa · 1988

Kategori yok

CiltTactics and tacticals in Cambridge LCFLawrence C. Paulson

Tactics and tacticals in Cambridge LCF

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

26 sayfa · 1983

Kategori yok

CiltNatural deduction theorem proving via higher-order resolutionLawrence C. Paulson

Natural deduction theorem proving via higher-order resolution

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

19 sayfa · 1985

Kategori yok

CiltRecent developments in LCFLawrence C. Paulson

Recent developments in LCF

Lawrence C. Paulson · University of Cambridge, Computer Laboratory

15 sayfa · 1983

Kategori yok