Formal proofs of combinatorial completeness
Licentiatavhandling, 1992
Författare
Verónica Gaspes
Institutionen för informationsbehandling
Ämneskategorier (SSIF 2011)
Datavetenskap (datalogi)
ISBN
991-464970-x