Search for persons
X
?
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001 ,
9
Type-syntax and token-syntax in diagrammatic systems:
, In:
?
Logical Reasoning with Diagrams ,
13