Related content

Free objects and equational deduction for partial conditional specifications

By Astesiano E.   Cerioli M.  

Theoretical Computer Science, Vol. 152, Iss. 1, 1995-12 ,pp. : 91-138

Elsevier

Access to resources Recommend Favorite

Recording and Analysing Knowledge-Based Distributed Deduction Processes

By denzinger J.   Schulz S.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 523-541

Academic Press

Access to resources Recommend Favorite

Automated data extraction from the web with conditional models

By Phan Xuan-Hieu   Horiguchi Susumu   Ho Tu-Bao  

International Journal of Business Intelligence and Data Mining, Vol. 1, Iss. 2, 2005-12 ,pp. : 194-209

Inderscience Publishers

Access to resources Recommend Favorite

Editorial: moving from knowledge management to organising knowledge

By Hjorth Daniel  

International Journal of Internet and Enterprise Management, Vol. 1, Iss. 4, 2004-05 ,pp. : 351-359

Inderscience Publishers

Access to resources Recommend Favorite

Experiments in linear natural deduction

By Martini S.   Masini A.  

Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. : 159-173

Elsevier

Access to resources Recommend Favorite