Kripke’s WorldsAn Introduction to Modal Logics via Tableaux /

7 1 10 Kripke’s WorldsAn Introduction to Modal Logics via Tableaux / SpringerLink (Online service) Additional Author Herzig, Andreas. Additional Author Said, Bilal. Additional Author Schwarzentruber, François. Additional Author mixed material 9783764385040 Rough Sets and Current Trends in Computing9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / SpringerLink (Online service) Additional Author Ślęzak, Dominik. Additional Author Kryszkiewicz, Marzena. Additional Author Ruiz, Ernestina Menasalvas. Additional Author Bello, Rafael. Additional Author Shang, Lin. Additional Author mixed material 9783319086446 Intelligent Tools for Building a Scientific Information Platform: From Research to Implementation SpringerLink (Online service) Additional Author Kryszkiewicz, Marzena. Additional Author Rybiński, Henryk. Additional Author Niezgodka, Marek. Additional Author Skonieczny, Łukasz. Additional Author mixed material 9783319047140 Intelligent Tools for Building a Scientific Information PlatformAdvanced Architectures and Solutions / SpringerLink (Online service) Additional Author Kryszkiewicz, Marzena. Additional Author Rybiński, Henryk. Additional Author Niezgodka, Marek. Additional Author Skonieczny, Lukasz. Additional Author mixed material 9783642356476 9783642356476.jpg The Guide to Greening Cities SpringerLink (Online service) Additional Author Nicholas, Steven S. Additional Author Parzen, Julia. Additional Author mixed material 9781610915045 9781610915045.jpg System modelling and control GILL, K.F. Additional Author SCHWARZENBACH, J. Additional Author mixed material 0713135182 EDWARD ARNOLD 1984 Analisis pendapatan dan efisiensi usaha industri rumah tangga makanan kecil tradisional Aceh di kecamatan Peukan bada dan makanan hasil olahan palawija di kecamatan lembah seulawah kabupaten Aceh Besar ARZEN Additional Author mixed material Banda Aceh Fak.Pertanian Unsyiah 2011