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