Paulson, Lawrence C. (1955-....) Amélioration Assistance
033984883
Notice de type Personne

Forme retenue

Paulson, Lawrence C. (1955-....)

Information

Langue d'expression : anglais

Source

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contrib. by Tobias Nipkow, 1994


LCNA (CD OCLC), 1995-03. BLNA, 1994-08

Utilisation dans Rameau

La vedette peut être employée dans une vedette RAMEAU

Autres identifiants

En cours : frBN011651311
En cours : FRBNF12478604X

Notices bibliographiques liées :2 rôle(s)

070 Auteur ( 5 )
340 Editeur scientifique ( 1 )



Auteur :

Rôles ?



013055984 : ML for the working programmer [Texte imprimé] / Lawrence C. Paulson,... / [First paperback edition (with corrections)] / Cambridge : Cambridge university press , [1992], cop. 1991

020333447 : Logic and computation [Texte imprimé] : interactive proof with Cambridge LCF / Lawrence C. Paulson,... / Cambridge : Cambridge University Press , cop. 1987

016072286 : ML for the working programmer [Texte imprimé] / Laurence C. Paulson / Cambridge : Cambridge University Press , cop. 1991

010952446 : ML for the working programmer [Texte imprimé] / Lawrence C. Paulson,... / 2nd edition [updated and revised] / Cambridge : Cambridge university press , cop. 1996

069528578 : Isabelle/HOL [Texte imprimé] : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel / Berlin : Springer , cop. 2002



Editeur scientifique :

Rôles ?



147763940 : Interactive theorem proving [Texte imprimé] : first international conference, ITP 2010, Edimburgh, UK, July 11-14, 2010 : proceedings / Matt Kauffmann, Lawrence C. Paulson (Eds.) / Berlin : Springer , cop. 2010


A propos Partenaires Conditions Générales d'Utilisation (CGU) Assistance