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 University Press 1987
Ausgabe:	1. publ.
Schriftenreihe:	Cambridge tracts in theoretical computer science 2
Schlagworte:	Cambridge LCF (Computer system) > Computable functions > Automatic theorem proving > Data processing > Berechenbare Funktion > Mathematische Logik > Berechenbarkeit > Kombinatorische Logik
Online Zugang:	Inhaltstext Verlagsangaben Sample text
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!