Knowledge Archives in Theorema: A Logic-Internal Approach, Submitted to the (2009)

by C Rosenkranz, B Buchberger, T Jebelean
Venue:University of Linz
Add To MetaCart
Results 1 - 1 of 1

Retrieval and Structuring of . . .

by Camelia Rosenkranz , 2009
"... ..."
Abstract - Add to MetaCart
Abstract not found