Top 150 isabelle kes PDF Book Page 4

book image

Agents and Multi-agent Systems: Technologies and Applications 2023: Proceedings of 17th KES International Conference, KES-AMSTA 2023, June 2023

Gordan Jezić, J. Chen-Burger, M. Kusek, R. Sperka, R. J. Howlett, Lakhmi C. Jain
·421 Pages
·2023
·8.29 MB

book image

Agent and Multi-Agent Systems: Technologies and Applications: Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings

Chih-Chun Chen, Sylvia B. Nagl, Christopher D. Clack (auth.), Ngoc Thanh Nguyen, Geun Sik Jo, Robert J. Howlett, Lakhmi C. Jain (eds.)
·927 Pages
·2008
·23.287 MB

book image

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Markus Wenzel, Lawrence C. Paulson (eds.)
·231 Pages
·2002
·0.805 MB

book image

KAJIAN KES BAYAN BARU Oleh AHMAD BIN ALI Tesis yang diserahkan un

Mohamed Mostafa Salama
·47 Pages
·2016
·0.82 MB

book image

Isabelle Mayet - 02 - Un parfum de soufre

Sylvain Forge
·2015
·0.3345 MB

book image

New Advances in Intelligent Decision Technologies: Results of the First KES International Symposium IDT 2009

Harsa Amylia Mat Sakim (auth.), Kazumi Nakamatsu, Gloria Phillips-Wren, Lakhmi C. Jain, Robert J. Howlett (eds.)
·636 Pages
·2009
·33.912 MB

book image

Knowledge-Based and Intelligent Information and Engineering Systems: 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part II

Jiali Yun, Liping Jing, Jian Yu, Houkuan Huang (auth.), Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain (eds.)
·682 Pages
·2010
·13.665 MB

book image

Innovation in Medicine and Healthcare Systems, and Multimedia: Proceedings of KES-InMed-19 and KES-IIMSS-19 Conferences

Yen-Wei Chen, Alfred Zimmermann, Robert J. Howlett, Lakhmi C. Jain
·594 Pages
·2019
·21.246 MB

book image

Agents and Multi-Agent Systems: Technologies and Applications 2020: 14th KES International Conference, KES-AMSTA 2020, June 2020 Proceedings

G. Jezic, J. Chen-Burger, M. Kusek, R. Sperka, Robert J. Howlett, Lakhmi C. Jain
·365 Pages
·2020
·12.406 MB

book image

Knowledge-Based and Intelligent Information and Engineering Systems: 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part III

Nobuo Suzuki, Mariko Yamamura, Kazuhiko Tsuda (auth.), Rossitza Setchi, Ivan Jordanov, Robert J. Howlett, Lakhmi C. Jain (eds.)
·694 Pages
·2010
·17.17 MB

book image

Intelligent Decision Technologies 2016: Proceedings of the 8th KES International Conference on Intelligent Decision Technologies (KES-IDT 2016) – Part I

Ireneusz Czarnowski, Alfonso Mateos Caballero, Robert J. Howlett, Lakhmi C. Jain (eds.)
·462 Pages
·2016
·12.299 MB

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.