Author:
Stenz Gernot,Wolf Andreas
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Holland, J.H.: Adaptation in Natural and Artificial Systems. MIT Press, Cambridge (1992)
2. Moser, M., et al.: SETHEO and E-SETHEO. The CADE-13 Systems. JAR 18(2), 237–246 (1997)
3. LNAI;S. Schulz,1999
4. Stenz, G., Wolf, A.: Strategy Selection by Genetic Programming. FLAIRS-12, 346–350 (1999)
5. LNAI;G. Stenz,1999
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. E-MaLeS 1.1;Automated Deduction – CADE-24;2013
2. Securing Provenance-Based Audits;Lecture Notes in Computer Science;2010
3. Can a Higher-Order and a First-Order Theorem Prover Cooperate?;Logic for Programming, Artificial Intelligence, and Reasoning;2005
4. Dynamic Secure Aspect Modeling with UML: From Models to Code;Model Driven Engineering Languages and Systems;2005
5. Model-Based Security Engineering with UML;Foundations of Security Analysis and Design III;2005