1
Gepubliceerd in 2010
Inhoudsopgave: ... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...
Volledige tekst
Elektronisch E-boek