Intensional logics for programming

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Fariñas del Cerro, Luis (BerichterstatterIn), Penttonen, Martti (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Oxford u.a. Clarendon Press 1992
Schriftenreihe:	Studies in logic and computation 1
Schlagworte:	Computer programming > Intensionale Logik > Logische Programmierung
Online Zugang:	Inhaltstext Publisher description Table of contents
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!