1
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook