Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Treffer: Logic and computation

Titel:

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

Beteiligt:

Paulson, Lawrence C.

Veröffentlicht:

Cambridge, Mass. [u.a.] : Cambridge Univ. Press, 1990

Umfang:

XIII, 302 S

Publikationstyp:

Buch

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Cambridge tracts in theoretical computer science

RVK-Notation:

Schlagworte:

ISBN:

0521395607

Zusatz-Informationen