نتایج جستجو

Inductive Logic Programming: 6th International Workshop, ILP-96 Stockholm, Sweden, August 26–28, 1996 Selected Papers
Raymond J. Mooney (auth.), 1997
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Christel Baier (auth.), 2010