|
|
|
Computer Aided Verification [electronic resource] : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings / edited by Ahmed Bouajjani, Oded Maler. by Bouajjani, Ahmed [editor.] | Maler, Oded [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5643Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings / edited by Martin Giese, Arild Waaler. by Giese, Martin [editor.] | Waaler, Arild [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5607Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings / edited by Patricia M. Hill, David S. Warren. by Hill, Patricia M [editor.] | Warren, David S [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5649Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / edited by Claudio Sossai, Gaetano Chemello. by Sossai, Claudio [editor.] | Chemello, Gaetano [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5590Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Case-Based Reasoning Research and Development [electronic resource] : 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings / edited by Lorraine McGinty, David C. Wilson. by McGinty, Lorraine [editor.] | Wilson, David C [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5650Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Conceptual Structures: Leveraging Semantic Technologies [electronic resource] : 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings / edited by Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov. by Rudolph, Sebastian [editor.] | Dau, Frithjof [editor.] | Kuznetsov, Sergei O [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5662Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe. by Archibald, Margaret [editor.] | Brattka, Vasco [editor.] | Goranko, Valentin [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5489Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers / edited by Angelo Oddi, François Fages, Francesca Rossi. by Oddi, Angelo [editor.] | Fages, François [editor.] | Rossi, Francesca [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5655Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Transactions on Rough Sets X [electronic resource] / edited by James F. Peters, Andrzej Skowron, Marcin Wolski, Mihir K. Chakraborty, Wei-Zhi Wu. by Peters, James F [editor.] | Skowron, Andrzej [editor.] | Wolski, Marcin [editor.] | Chakraborty, Mihir K [editor.] | Wu, Wei-Zhi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5656Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Emerging Intelligent Computing Technology and Applications. With Aspects of Artificial Intelligence [electronic resource] : 5th International Conference on Intelligent Computing, ICIC 2009 Ulsan, South Korea, September 16-19, 2009 Proceedings / edited by De-Shuang Huang, Kang-Hyun Jo, Hong-Hee Lee, Hee-Jun Kang, Vitoantonio Bevilacqua. by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Lee, Hong-Hee [editor.] | Kang, Hee-Jun [editor.] | Bevilacqua, Vitoantonio [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5755Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings / edited by Silvio Ghilardi, Roberto Sebastiani. by Ghilardi, Silvio [editor.] | Sebastiani, Roberto [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5749Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings / edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. by Erdem, Esra [editor.] | Lin, Fangzhen [editor.] | Schaub, Torsten [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5753Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings / edited by Lluís Godo, Andrea Pugliese. by Godo, Lluís [editor.] | Pugliese, Andrea [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5785Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
KI 2009: Advances in Artificial Intelligence [electronic resource] : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings / edited by Bärbel Mertsching, Marcus Hund, Zaheer Aziz. by Mertsching, Bärbel [editor.] | Hund, Marcus [editor.] | Aziz, Zaheer [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5803Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Modeling Decisions for Artificial Intelligence [electronic resource] : 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30–December 2, 2009. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Masahiro Inuiguchi. by Torra, Vicenç [editor.] | Narukawa, Yasuo [editor.] | Inuiguchi, Masahiro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5861Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Anaphora Processing and Applications [electronic resource] : 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings / edited by Sobha Lalitha Devi, António Branco, Ruslan Mitkov. by Lalitha Devi, Sobha [editor.] | Branco, António [editor.] | Mitkov, Ruslan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5847Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|