1
Published 2010
Table of Contents: ...Invited Talks -- Fostering Proof Scores in CafeOBJ -- Exploiting Partial Success in Applying...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Ontologies -- Towards a Formal Verification of OWL-S Process Models -- Web Service Composition with Volatile...
View full text
Electronic eBook
3
Published 2012
Table of Contents: ... Learner Modeling -- Technology-Embraced Informal-in-Formal-Learning -- Towards Automatic Competence...
View full text
Electronic eBook
4
Published 2006
Subjects: ...Information storage and retrieval....
View full text
Electronic eBook