继承人 发表于 2025-3-28 15:25:24

https://doi.org/10.1007/978-3-642-31374-5formal languages; machine verifyable proofs; parsing; program specification; semantic Web
页: 1 2 3 4 [5]
查看完整版本: Titlebook: Koordination von Einkauf und Logistik; Interfunktionale Abs Tobias Breitling Book 2018 Springer Fachmedien Wiesbaden GmbH, ein Teil von Spr