-
1
First-order unification in equational theories and its application to logic programming
Veröffentlicht 1985Buch -
2
-
3
-
4
A logic for introspective as well as retrospective reasoning [extended abstract]
Veröffentlicht 1993Buch -
5
-
6
-
7
-
8
-
9
-
10
Digital Multimedia Communications 19th International Forum, IFTC 2022, Shanghai, China, December 8–9, 2022, Revised Selected Papers
Veröffentlicht 2023
VolltextElektronisch E-Book -
11
Cyber security 15th international annual conference, CNCERT 2018 : Beijing, China, August 14-16, 2018 : revised selected papers
Veröffentlicht 2019
VolltextElektronisch Tagungsbericht E-Book -
12
-
13
Additive manufacturing (AM) for advanced materials and structures green and intelligent development trend
Veröffentlicht 2023kostenfrei
kostenfrei
Elektronisch E-Book -
14
-
15