1.

Record Nr.

UNICAMPANIASUN0063390

Autore

Paulson, Lawrence C.

Titolo

Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson

Pubbl/distr/stampa

Cambridge [etc.], : Cambridge university, 1987

ISBN

05-213-9560-7

Descrizione fisica

XIII, 302 p. ; 26 cm.

Soggetti

68Qxx - Theory of computing [MSC 2020]

68Txx - Artificial intelligence [MSC 2020]

03Bxx - General logic [MSC 2020]

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia