Nanostructured Materials for Next-Generation Energy Storage and Conversion || Totalized Hydrogen Energy Utilization System
- 作者Li, Fan; Bashir, Sajid; Liu, Jingbo Louise
- 文件大小1037.13KB
- 发表时间2018
- DOI10.1007/978-3-662-56364-9_13
- 页码385-406
同作者推荐
Unification in commutative idempotent monoidsFranz Baader; Wolfram Büttner · 1988
On the complexity of Boolean unificationFranz Baader · 1998
Unification in commutative theoriesFranz Baader · 1989
Unification in varieties of idempotent semigroupsFranz Baader · Semigroup Forum · 1987
Deduktion: von der Theorie zur AnwendungFranz Baader; Bernhard Beckert; Tobias Nipkow · 2010
What’s new in Description LogicsFranz Baader · 2011
Automata-Based Axiom PinpointingFranz Baader; Rafael Peñaloza · 2010
Cardinality restrictions on conceptsFranz Baader; Martin Buchheit; Bernhard Hollander · 1996