Deduction and computation [Mit franz. Zsfassung]

Bibliographische Detailangaben

1. Verfasser:	Huet, Gérard (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	Le Chesnay u.a. Inst. 1986
Schriftenreihe:	Rapports de recherche. Institut national de recherche en informatique et en automatique 513
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!