Share Catalogue

Persona

Opera

Persona/Opera

Vai a Pubblicazioni

Persona/Ente/Famiglia

Espandi

Riduci

Questo autore in

Wikipedia

Export / Download

PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)

Paulson, Lawrence C.
ID: 62096

Opere

Altre forme del nome

Authority file

Paulson, Lawrence C.

http://viaf.org/viaf/91459151/

Paulson, Lawrence C.

http://viaf.org/viaf/91459151/

Paulson, Lawrence C., 1955-...

http://viaf.org/viaf/91459151/

http://viaf.org/viaf/91459151/

Lawrence Paulson informaticien américain

Nome da opac

Paulson Lawrence C

Nome da opac

Paulson Lawrence C.

Seleziona tutte

Deseleziona

Interactive theorem proving

...

Isabelle

...

Isabelle

...

Logic and computation

...

ML for the working programmer

...