Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 2 of 5 found articles
 
 
  Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods
 
 
Title: Compositional Verification of Knowledge-Based Task Models and Problem-Solving Methods
Author: Cornelissen, Frank
Jonker, Catholijn M.
Treur, Jan
Appeared in: Knowledge and information systems
Paging: Volume 5 (2003) nr. 3 pages 337-367
Year: 2003
Contents:
Publisher: Springer-Verlag, London
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 2 of 5 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands