Filter
Sökt på: Sökresultat
Filter
1 träff
Types for Proofs and Programs
häftad,
1999,
Engelska,
ISBN 9783540665373
Thisbookcontainsaselectionofpaperspresentedatthesecondannualworkshop heldundertheauspicesoftheEspritWorkingGroup21900Types. Theworkshop …