Personensuche
X
?
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science ,
2
Strategies in Conditional Narrowing Modulo SMT Plus Axioms:
, In:
?
Nanoporous Materials for Gas Storage; Green Energy and Technology ,
12
Zeolites and Other Adsorbents:
, In:
?
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming ,
14