Zoekresultaten

Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Argumentation in Multi-Agent Systems 7th International Workshop, ArgMAS 2010 Toronto, ON, Canada, May 10, 2010 Revised, Selected and Invited Papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Artificial Intelligence and Computational Intelligence Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Artificial Intelligence Applications and Innovations 12th INNS EANN-SIG International Conference, EANN 2011 and 7th IFIP WG 12.5 International Conference, AIAI 2011, Corfu, Greece,...

Available for University of the Philippines Diliman via SpringerLink.Click here to access

Rough Sets and Knowledge Technology 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings

Available for University of the Philippine Diliman via Springerlink. Click here to access