Search Results for Theorie. - Narrowed by: Artificial intelligence.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheorie.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?
2024-09-15T20:05:03Z
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487419
2024-09-15T20:05:03Z
2024-09-15T20:05:03Z
Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorie and Applications of Formal Argumentation First International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196637
2024-09-15T20:05:03Z
2024-09-15T20:05:03Z
Author Modgil, Sanjay. editor. Oren, Nir. editor. Toni, Francesca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29184-5">http://dx.doi.org/10.1007/978-3-642-29184-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial life an overview
ent://SD_ILS/0/SD_ILS:219849
2024-09-15T20:05:03Z
2024-09-15T20:05:03Z
Author Langton, Christopher G.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276842</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>