Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

R. Hähnle
University of Karlsruhe, Germany

R. Hähnle, W. Menzel, P. H. Schmitt, W. Reif:
J.UCS Special Issue on Integration of Deduction Systems
/jucs_5_3/j_ucs_special_issue
page 50 - 51
Vol.5 / Issue 3