Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic I. - Computing Methodologies
Topic I.1 - SYMBOLIC AND ALGEBRAIC MANIPULATION

L. C. Paulson:
A Generic Tableau Prover and its Integration with Isabelle
/jucs_5_3/a_generic_tableau_prover
page 73 - 87
Vol.5 / Issue 3
Y. Xu, J. Liu, L. Martínez, D. Ruan:
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
/jucs_16_1/some_views_on_information
page 3 - 19
Vol.16 / Issue 1

Topic I.1.0 - General