|
|
|
Progress in Artificial Intelligence [electronic resource] : 8th Portuguese Conference on Artificial Intelligence, EPIA-97 Coimbra, Portugal, October 6–9, 1997 Proceedings / edited by Ernesto Coasta, Amilcar Cardoso. by Coasta, Ernesto [editor.] | Cardoso, Amilcar [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1323Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1997Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
KI 2006: Advances in Artificial Intelligence [electronic resource] : 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings / edited by Christian Freksa, Michael Kohlhase, Kerstin Schill. by Freksa, Christian [editor.] | Kohlhase, Michael [editor.] | Schill, Kerstin [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4314Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 13th Brazilian Symposium on Artificial Intelligence, SBIA'96 Curitiba, Brazil, October 23–25, 1996 Proceedings / edited by Díbio L. Borges, Celso A. A. Kaestner. by Borges, Díbio L [editor.] | Kaestner, Celso A. A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1159Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1996Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Web Intelligence Meets Brain Informatics [electronic resource] : First WICI International Workshop, WImBI 2006, Beijing, China, December 15-16, 2006, Revised Selected and Invited Papers / edited by Ning Zhong, Jiming Liu, Yiyu Yao, Jinglong Wu, Shengfu Lu, Kuncheng Li. by Zhong, Ning [editor.] | Liu, Jiming [editor.] | Yao, Yiyu [editor.] | Wu, Jinglong [editor.] | Lu, Shengfu [editor.] | Li, Kuncheng [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4845Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings / edited by Valentin E. Brimkov, Reneta P. Barneva, Herbert A. Hauptman. by Brimkov, Valentin E [editor.] | Barneva, Reneta P [editor.] | Hauptman, Herbert A [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4958Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logics in Artificial Intelligence [electronic resource] : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing. by Hölldobler, Steffen [editor.] | Lutz, Carsten [editor.] | Wansing, Heinrich [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5293Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|
|
|
|
Medical Biometrics [electronic resource] : Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings / edited by David Zhang, Milan Sonka. by Zhang, David [editor.] | Sonka, Milan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 6165Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical Foundations of Computer Science 2012 [electronic resource] : 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings / edited by Branislav Rovan, Vladimiro Sassone, Peter Widmayer. by Rovan, Branislav [editor.] | Sassone, Vladimiro [editor.] | Widmayer, Peter [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7464Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Brain Informatics [electronic resource] : International Conference, BI 2012, Macau, China, December 4-7, 2012. Proceedings / edited by Fabio Massimo Zanzotto, Shusaku Tsumoto, Niels Taatgen, Yiyu Yao. by Zanzotto, Fabio Massimo [editor.] | Tsumoto, Shusaku [editor.] | Taatgen, Niels [editor.] | Yao, Yiyu [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7670Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Uncertainty Reasoning for the Semantic Web II [electronic resource] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers / edited by Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool. by Bobillo, Fernando [editor.] | Costa, Paulo C. G [editor.] | d’Amato, Claudia [editor.] | Fanizzi, Nicola [editor.] | Laskey, Kathryn B [editor.] | Laskey, Kenneth J [editor.] | Lukasiewicz, Thomas [editor.] | Nickles, Matthias [editor.] | Pool, Michael [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 7123Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov. by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 8312Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / edited by Patrick Lambrix, Eero Hyvönen, Eva Blomqvist, Valentina Presutti, Guilin Qi, Uli Sattler, Ying Ding, Chiara Ghidini. by Lambrix, Patrick [editor.] | Hyvönen, Eero [editor.] | Blomqvist, Eva [editor.] | Presutti, Valentina [editor.] | Qi, Guilin [editor.] | Sattler, Uli [editor.] | Ding, Ying [editor.] | Ghidini, Chiara [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 8982 | Lecture Notes in Computer Science ; 8982Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Rules and Reasoning [electronic resource] : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings / edited by Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman. by Costantini, Stefania [editor.] | Franconi, Enrico [editor.] | Van Woensel, William [editor.] | Kontchakov, Roman [editor.] | Sadri, Fariba [editor.] | Roman, Dumitru [editor.] | SpringerLink (Online service). Series: Programming and Software Engineering ; 10364 | Lecture Notes in Computer Science ; 10364Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Mathematical, Fallacies, Flaws, and Flimflam by Barbeau, Edward J. Series: Spectrum SeriesMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Language: English Publication details: USA Mathematical Association of America 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 26, Shelf No: 6 Call number: 51 BRE.
|
|
|
|
Reasoning Web [electronic resource] : Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures / edited by Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler. by Barahona, Pedro [editor.] | Bry, François [editor.] | Franconi, Enrico [editor.] | Henze, Nicola [editor.] | Sattler, Ulrike [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4126Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
|
|
|