|
|
|
|
Logic and information flow by Eijck, Jan van. Ed | Eijck, Jan van. Ed | Visser, Albert. Ed. Series: Foundations of computingMaterial type:  Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge The MIT Press 1994Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EIJ.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Handbook of Logic and Language by van Benthem, Johan. Ed | ter Meulen, Alice. Ed. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.
|
|
|
|
|
Language Equations by Leiss, Ernst L. Series: Monographs in Computer ScienceMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: New York ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 8 Call number: 681.3 LEI.
|
|
|
|
|
|
|
|
|
|
Foundations of Intelligent Systems [electronic resource] : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings / edited by Marzena Kryszkiewicz, Annalisa Appice, Dominik Ślęzak, Henryk Rybinski, Andrzej Skowron, Zbigniew W. Raś. by Kryszkiewicz, Marzena [editor.] | Appice, Annalisa [editor.] | Ślęzak, Dominik [editor.] | Rybinski, Henryk [editor.] | Skowron, Andrzej [editor.] | Raś, Zbigniew W [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10352 | Lecture Notes in Computer Science ; 10352Edition: 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): .
|
|
|
|
|
Semantic Technology [electronic resource] : 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers / edited by Guilin Qi, Kouji Kozaki, Jeff Z. Pan, Siwei Yu. by Qi, Guilin [editor.] | Kozaki, Kouji [editor.] | Pan, Jeff Z [editor.] | Yu, Siwei [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9544 | Lecture Notes in Computer Science ; 9544Edition: 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): .
|
|
|
|
|
Advances in Artificial Intelligence [electronic resource] : 28th Canadian Conference on Artificial Intelligence, Canadian AI 2015, Halifax, Nova Scotia, Canada, June 2-5, 2015, Proceedings / edited by Denilson Barbosa, Evangelos Milios. by Barbosa, Denilson [editor.] | Milios, Evangelos [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9091 | Lecture Notes in Computer Science ; 9091Edition: 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): .
|
|
|
|
|
The Semantic Web - ISWC 2015 [electronic resource] : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I / edited by Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Krishnaprasad Thirunarayan, Steffen Staab. by Arenas, Marcelo [editor.] | Corcho, Oscar [editor.] | Simperl, Elena [editor.] | Strohmaier, Markus [editor.] | d'Aquin, Mathieu [editor.] | Srinivas, Kavitha [editor.] | Groth, Paul [editor.] | Dumontier, Michel [editor.] | Heflin, Jeff [editor.] | Thirunarayan, Krishnaprasad [editor.] | Thirunarayan, Krishnaprasad [editor.] | Staab, Steffen [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9366 | Lecture Notes in Computer Science ; 9366Edition: 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 Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data [electronic resource] : 14th China National Conference, CCL 2015 and Third International Symposium, NLP-NABD 2015, Guangzhou, China, November 13-14, 2015, Proceedings / edited by Maosong Sun, Zhiyuan Liu, Min Zhang, Yang Liu. by Sun, Maosong [editor.] | Liu, Zhiyuan [editor.] | Zhang, Min [editor.] | Liu, Yang [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9427 | Lecture Notes in Computer Science ; 9427Edition: 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): .
|
|
|
|
|
The Semantic Web: ESWC 2015 Satellite Events [electronic resource] : ESWC 2015 Satellite Events, Portorož, Slovenia, May 31 – June 4, 2015, Revised Selected Papers / edited by Fabien Gandon, Christophe Guéret, Serena Villata, John Breslin, Catherine Faron-Zucker, Antoine Zimmermann. by Gandon, Fabien [editor.] | Guéret, Christophe [editor.] | Villata, Serena [editor.] | Breslin, John [editor.] | Faron-Zucker, Catherine [editor.] | Zimmermann, Antoine [editor.] | SpringerLink (Online service). Series: Computer Communication Networks and Telecommunications ; 9341 | Lecture Notes in Computer Science ; 9341Edition: 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): .
|
|
|
|
|
Controlled Natural Language [electronic resource] : 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / edited by Brian Davis, Gordon J. Pace, Adam Wyner. by Davis, Brian [editor.] | Pace, Gordon J [editor.] | Wyner, Adam [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9767 | Lecture Notes in Computer Science ; 9767Edition: 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): .
|
|
|
|
|
Advances in Artificial Intelligence: From Theory to Practice [electronic resource] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II / edited by Salem Benferhat, Karim Tabia, Moonis Ali. by Benferhat, Salem [editor.] | Tabia, Karim [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10351 | Lecture Notes in Computer Science ; 10351Edition: 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): .
|
|
|
|
|
Advances in Artificial Intelligence: From Theory to Practice [electronic resource] : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I / edited by Salem Benferhat, Karim Tabia, Moonis Ali. by Benferhat, Salem [editor.] | Tabia, Karim [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 10350 | Lecture Notes in Computer Science ; 10350Edition: 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): .
|
|
|
|
|
Experimental IR Meets Multilinguality, Multimodality, and Interaction [electronic resource] : 8th International Conference of the CLEF Association, CLEF 2017, Dublin, Ireland, September 11–14, 2017, Proceedings / edited by Gareth J.F. Jones, Séamus Lawless, Julio Gonzalo, Liadh Kelly, Lorraine Goeuriot, Thomas Mandl, Linda Cappellato, Nicola Ferro. by Jones, Gareth J.F [editor.] | Lawless, Séamus [editor.] | Gonzalo, Julio [editor.] | Kelly, Liadh [editor.] | Goeuriot, Lorraine [editor.] | Mandl, Thomas [editor.] | Cappellato, Linda [editor.] | Ferro, Nicola [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10456 | Lecture Notes in Computer Science ; 10456Edition: 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): .
|
|
|
|
|
Pattern Recognition and Machine Intelligence [electronic resource] : 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017, Proceedings / edited by B. Uma Shankar, Kuntal Ghosh, Deba Prasad Mandal, Shubhra Sankar Ray, David Zhang, Sankar K. Pal. by Shankar, B. Uma [editor.] | Ghosh, Kuntal [editor.] | Mandal, Deba Prasad [editor.] | Ray, Shubhra Sankar [editor.] | Zhang, David [editor.] | Pal, Sankar K [editor.] | SpringerLink (Online service). Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10597 | Lecture Notes in Computer Science ; 10597Edition: 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): .
|
|
|
|
|
Advances in Information Retrieval [electronic resource] : 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings / edited by Joemon M Jose, Claudia Hauff, Ismail Sengor Altıngovde, Dawei Song, Dyaa Albakour, Stuart Watt, John Tait. by Jose, Joemon M [editor.] | Hauff, Claudia [editor.] | Altıngovde, Ismail Sengor [editor.] | Song, Dawei [editor.] | Albakour, Dyaa [editor.] | Watt, Stuart [editor.] | Tait, John [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10193 | Lecture Notes in Computer Science ; 10193Edition: 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): .
|
|
|
|
|
The Semantic Web - ISWC 2015 [electronic resource] : 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II / edited by Marcelo Arenas, Oscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab. by Arenas, Marcelo [editor.] | Corcho, Oscar [editor.] | Simperl, Elena [editor.] | Strohmaier, Markus [editor.] | d'Aquin, Mathieu [editor.] | Srinivas, Kavitha [editor.] | Groth, Paul [editor.] | Dumontier, Michel [editor.] | Heflin, Jeff [editor.] | Thirunarayan, Krishnaprasad [editor.] | Staab, Steffen [editor.] | SpringerLink (Online service). Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 9367 | Lecture Notes in Computer Science ; 9367Edition: 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): .
|
|
|
|
|
Natural Language Processing and Chinese Computing [electronic resource] : 4th CCF Conference, NLPCC 2015, Nanchang, China, October 9-13, 2015, Proceedings / edited by Juanzi Li, Heng Ji, Dongyan Zhao, Yansong Feng. by Li, Juanzi [editor.] | Ji, Heng [editor.] | Zhao, Dongyan [editor.] | Feng, Yansong [editor.] | SpringerLink (Online service). Series: Lecture Notes in Artificial Intelligence ; 9362 | Lecture Notes in Computer Science ; 9362Edition: 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): .
|
