Search Results for - Narrowed by: 2009 - Artificial intelligence. - Logic design. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?
2024-08-28T14:07:32Z
Declarative Agent Languages and Technologies VI 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189534
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Baldoni, Matteo. editor. Son, Tran Cao. editor. Riemsdijk, M. Birna. editor. Winikoff, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-93920-7">http://dx.doi.org/10.1007/978-3-540-93920-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:189683
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Peled, Doron A. editor. Wooldridge, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00431-5">http://dx.doi.org/10.1007/978-3-642-00431-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering IX 9th International Workshop, AOSE 2008 Estoril, Portugal, May 12-13, 2008 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189961
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Luck, Michael. editor. Gomez-Sanz, Jorge J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01338-6">http://dx.doi.org/10.1007/978-3-642-01338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Computing and Multi-Agent Systems 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
ent://SD_ILS/0/SD_ILS:190070
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Ghose, Aditya. editor. Governatori, Guido. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01639-4">http://dx.doi.org/10.1007/978-3-642-01639-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189717
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Hanus, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00515-2">http://dx.doi.org/10.1007/978-3-642-00515-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190390
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Bouajjani, Ahmed. editor. Maler, Oded. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02658-4">http://dx.doi.org/10.1007/978-3-642-02658-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190876
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Ghilardi, Silvio. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04222-5">http://dx.doi.org/10.1007/978-3-642-04222-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190883
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04238-6">http://dx.doi.org/10.1007/978-3-642-04238-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers
ent://SD_ILS/0/SD_ILS:190574
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Hindriks, Koen V. editor. Pokahr, Alexander. editor. Sardina, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03278-3">http://dx.doi.org/10.1007/978-3-642-03278-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems for Society 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190594
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Lukose, Dickson. editor. Shi, Zhongzhi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03339-1">http://dx.doi.org/10.1007/978-3-642-03339-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:190857
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04164-8">http://dx.doi.org/10.1007/978-3-642-04164-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Data Mining Interaction 4th International Workshop, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:190676
2024-08-28T14:07:32Z
2024-08-28T14:07:32Z
Author Cao, Longbing. editor. Gorodetsky, Vladimir. editor. Liu, Jiming. editor. Weiss, Gerhard. editor. Yu, Philip S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03603-3">http://dx.doi.org/10.1007/978-3-642-03603-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>