Formal proofs of combinatorial completeness
Licentiate thesis, 1992

Author

Verónica Gaspes

Department of Computer Sciences

Subject Categories

Computer Science

ISBN

991-464970-x

More information

Created

10/6/2017