De Angelis - Logic-Based Program Synthesis and Transformation 31st I - X555z

Logic-Based Program Synthesis and Transformation: 22nd International Symposium,

International Symposium/Conference WILDLIFE MANAGMENT SUB-SAHARAN AFRICA 1987

MUFON: 1991 International UFO Symposium Proceedings Program Chicago Crop Circles

Computer and Information Sciences: 31st International Symposium, ISCIS 2016,

Computer and Information Sciences 31st International Symposium IS

Computer and Information Sciences: 31st International Symposium, ISCIS 2016, ...