Personensuche
X
?
1
HOL-Z
an integrated formal support environment for Z in Isabelle/...
BISS monographs ; 5
Exemplare: Zentrale;
?
Ambient Intelligence – Software and Applications – 14th International Symposium on Ambient Intelligence; Lecture Notes in Networks and Systems ,
3
How to Handle Fuzzy Aspects in African Sociocultural Ontolo..:
, In:
?
2022 16th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) ,
6