Logic and computation interactive proof with Cambridge LCF

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Paulson, Lawrence C. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge u.a. Cambridge Univ. Pr. 1987
Ausgabe:	1. publ.
Schriftenreihe:	Cambridge tracts in theoretical computer science. 2.
Schlagworte:	Berechenbarkeit > Mathematische Logik > Berechenbare Funktion > Logische Programmierung
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XIII, 302 S.
ISBN:	0521346320 0-521-34632-0