Formal proofs of combinatorial completeness
Licentiatavhandling, 1992

Författare

Verónica Gaspes

Institutionen för informationsbehandling

Ämneskategorier

Datavetenskap (datalogi)

ISBN

991-464970-x