|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa. by Kohlhase, Michael [editor.] | Johansson, Moa [editor.] | Miller, Bruce [editor.] | de Moura, Leonardo [editor.] | Tompa, Frank [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9791 | Lecture Notes in Computer Science ; 9791Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type:  Text;Language: English; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / edited by Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki. by Murata, Tsuyoshi [editor.] | Mineshima, Koji [editor.] | Bekki, Daisuke [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9067 | Lecture Notes in Computer Science ; 9067Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Agents and Artificial Intelligence [electronic resource] : 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers / edited by Jaap van den Herik, Joaquim Filipe. by van den Herik, Jaap [editor.] | Filipe, Joaquim [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10162 | Lecture Notes in Computer Science ; 10162Edition: 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): .
|
|
|
|
|
AI 2015: Advances in Artificial Intelligence [electronic resource] : 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings / edited by Bernhard Pfahringer, Jochen Renz. by Pfahringer, Bernhard [editor.] | Renz, Jochen [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9457 | Lecture Notes in Computer Science ; 9457Edition: 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): .
|
|
|
|
|
Formal Concept Analysis [electronic resource] : 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / edited by Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego. by Baixeries, Jaume [editor.] | Sacarea, Christian [editor.] | Ojeda-Aciego, Manuel [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9113 | Lecture Notes in Computer Science ; 9113Edition: 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): .
|
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers / edited by Minghui Dong, Jingxia Lin, Xuri Tang. by Dong, Minghui [editor.] | Lin, Jingxia [editor.] | Tang, Xuri [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10085 | Lecture Notes in Computer Science ; 10085Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
Knowledge Engineering and Knowledge Management [electronic resource] : EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19–23, 2016, Revised Selected Papers / edited by Paolo Ciancarini, Francesco Poggi, Matthew Horridge, Jun Zhao, Tudor Groza, Mari Carmen Suarez-Figueroa, Mathieu d'Aquin, Valentina Presutti. by Ciancarini, Paolo [editor.] | Poggi, Francesco [editor.] | Horridge, Matthew [editor.] | Zhao, Jun [editor.] | Groza, Tudor [editor.] | Suarez-Figueroa, Mari Carmen [editor.] | d'Aquin, Mathieu [editor.] | Presutti, Valentina [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10180 | Lecture Notes in Computer Science ; 10180Edition: 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): .
|
|
|
|
|
Chinese Lexical Semantics [electronic resource] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers / edited by Qin Lu, Hong Gao. by Lu, Qin [editor.] | Gao, Hong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9332 | Lecture Notes in Computer Science ; 9332Edition: 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): .
|
|
|
|
|
Frontiers of Combining Systems [electronic resource] : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings / edited by Clare Dixon, Marcelo Finger. by Dixon, Clare [editor.] | Finger, Marcelo [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10483 | Lecture Notes in Computer Science ; 10483Edition: 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): .
|
|
|
|
|
Inductive Logic Programming [electronic resource] : 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers / edited by Jesse Davis, Jan Ramon. by Davis, Jesse [editor.] | Ramon, Jan [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9046 | Lecture Notes in Computer Science ; 9046Edition: 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): .
|
|
|
|
|
Language, Data, and Knowledge [electronic resource] : First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings / edited by Jorge Gracia, Francis Bond, John P. McCrae, Paul Buitelaar, Christian Chiarcos, Sebastian Hellmann. by Gracia, Jorge [editor.] | Bond, Francis [editor.] | McCrae, John P [editor.] | Buitelaar, Paul [editor.] | Chiarcos, Christian [editor.] | Hellmann, Sebastian [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10318 | Lecture Notes in Computer Science ; 10318Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings / edited by Renate A. Schmidt, Cláudia Nalon. by Schmidt, Renate A [editor.] | Nalon, Cláudia [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10501 | Lecture Notes in Computer Science ; 10501Edition: 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): .
|
|
|
|
|
Intelligent Computer Mathematics [electronic resource] : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings / edited by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke. by Geuvers, Herman [editor.] | England, Matthew [editor.] | Hasan, Osman [editor.] | Rabe, Florian [editor.] | Teschke, Olaf [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10383 | Lecture Notes in Computer Science ; 10383Edition: 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): .
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings / edited by Marcello Balduccini, Tomi Janhunen. by Balduccini, Marcello [editor.] | Janhunen, Tomi [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10377 | Lecture Notes in Computer Science ; 10377Edition: 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): .
|
|
|
|
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / edited by Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski. by Calimeri, Francesco [editor.] | Ianni, Giovambattista [editor.] | Truszczynski, Miroslaw [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9345 | Lecture Notes in Computer Science ; 9345Edition: 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): .
|
|
|
|
|
Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / edited by Francisco Botana, Pedro Quaresma. by Botana, Francisco [editor.] | Quaresma, Pedro [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9201 | Lecture Notes in Computer Science ; 9201Edition: 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): .
|
|
|
|
|
|
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings / edited by Pavel Král, Carlos Martín-Vide. by Král, Pavel [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9918 | Lecture Notes in Computer Science ; 9918Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
