Personensuche
X
?
Automated Deduction – CADE 29; Lecture Notes in Computer Science ,
11
Iscalc: An Interactive Symbolic Computation Framework (Syst..:
, In:
?
Proceedings of the International Field Exploration and Development Conference 2021; Springer Series in Geomechanics and Geoengineering ,
15