Library Services | Technical University of Kenya catalog › Results of search for 'su:{Language and logic.}'

Advanced search
Course reserves
Browse by hierarchy
Authority search
Tag cloud
Purchase suggestions

Your search returned 112 results.

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue

	81.	Controlled Natural Language [electronic resource] : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings / edited by Tobias Kuhn, Norbert E. Fuchs. by Kuhn, Tobias [editor.] \| Fuchs, Norbert E [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	82.	Computational Issues in Fluid Construction Grammar [electronic resource] : A New Formalism for the Representation of Lexicons and Grammars / edited by Luc Steels. by Steels, Luc [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	83.	Topical Themes in Argumentation Theory [electronic resource] : Twenty Exploratory Studies / edited by Frans H. van Eemeren, Bart Garssen. by van Eemeren, Frans H [editor.] \| Garssen, Bart [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	84.	Integration of World Knowledge for Natural Language Understanding [electronic resource] / by Ekaterina Ovchinnikova. by Ovchinnikova, Ekaterina [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Paris : Atlantis Press, 2012Online access: Click here to access online Availability: No items available Add to cart (remove)
	85.	Domain-Level Reasoning for Spoken Dialogue Systems [electronic resource] / by Dirk Bühler, Wolfgang Minker. by Bühler, Dirk [author.] \| Minker, Wolfgang [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	86.	Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Workshop [electronic resource] / edited by Ramón López-Cózar Delgado, Tetsunori Kobayashi. by Delgado, Ramón López-Cózar [editor.] \| Kobayashi, Tetsunori [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: New York, NY : Springer New York, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	87.	Information Systems for Indian Languages [electronic resource] : International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings / edited by Chandan Singh, Gurpreet Singh Lehal, Jyotsna Sengupta, Dharam Veer Sharma, Vishal Goyal. by Singh, Chandan [editor.] \| Singh Lehal, Gurpreet [editor.] \| Sengupta, Jyotsna [editor.] \| Sharma, Dharam Veer [editor.] \| Goyal, Vishal [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	88.	Logic and Grammar [electronic resource] : Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday / edited by Sylvain Pogodalla, Myriam Quatrini, Christian Retoré. by Pogodalla, Sylvain [editor.] \| Quatrini, Myriam [editor.] \| Retoré, Christian [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	89.	Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada. by Bezhanishvili, Nick [editor.] \| Löbner, Sebastian [editor.] \| Schwabe, Kerstin [editor.] \| Spada, Luca [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	90.	Flexible Query Answering Systems [electronic resource] : 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings / edited by Henning Christiansen, Guy Tré, Adnan Yazici, Slawomir Zadrozny, Troels Andreasen, Henrik Legind Larsen. by Christiansen, Henning [editor.] \| Tré, Guy [editor.] \| Yazici, Adnan [editor.] \| Zadrozny, Slawomir [editor.] \| Andreasen, Troels [editor.] \| Larsen, Henrik Legind [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	91.	Argument Structure: [electronic resource] : Representation and Theory / by James B. Freeman. by Freeman, James B [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	92.	Vagueness: A Guide [electronic resource] / edited by Giuseppina Ronzitti. by Ronzitti, Giuseppina [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	93.	Giving Reasons [electronic resource] : A Linguistic-Pragmatic Approach to Argumentation Theory / by Lilian Bermejo Luque. by Bermejo Luque, Lilian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	94.	Interpreted Languages and Compositionality [electronic resource] / by Marcus Kracht. by Kracht, Marcus [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	95.	European and Chinese Cognitive Styles and Their Impact on Teaching Mathematics [electronic resource] / by Filippo Spagnolo, Benedetto Paola. by Spagnolo, Filippo [author.] \| Paola, Benedetto [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	96.	Advances in Artificial Intelligence [electronic resource] : 23rd Canadian Conference on Artificial Intelligence, Canadian AI 2010, Ottawa, Canada, May 31 – June 2, 2010. Proceedings / edited by Atefeh Farzindar, Vlado Kešelj. by Farzindar, Atefeh [editor.] \| Kešelj, Vlado [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	97.	Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / edited by Anssi Yli-Jyrä, András Kornai, Jacques Sakarovitch, Bruce Watson. by Yli-Jyrä, Anssi [editor.] \| Kornai, András [editor.] \| Sakarovitch, Jacques [editor.] \| Watson, Bruce [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	98.	Multilingual Information Access Evaluation I. Text Retrieval Experiments [electronic resource] : 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers / edited by Carol Peters, Giorgio Maria Nunzio, Mikko Kurimo, Thomas Mandl, Djamel Mostefa, Anselmo Peñas, Giovanna Roda. by Peters, Carol [editor.] \| Nunzio, Giorgio Maria [editor.] \| Kurimo, Mikko [editor.] \| Mandl, Thomas [editor.] \| Mostefa, Djamel [editor.] \| Peñas, Anselmo [editor.] \| Roda, Giovanna [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	99.	Advances in Artificial Intelligence – IBERAMIA 2010 [electronic resource] : 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings / edited by Angel Kuri-Morales, Guillermo R. Simari. by Kuri-Morales, Angel [editor.] \| Simari, Guillermo R [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)
	100.	Sanskrit Computational Linguistics [electronic resource] : 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings / edited by Girish Nath Jha. by Jha, Girish Nath [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available Add to cart (remove)

Library Services | Technical University of Kenya

Refine your search

Authors

Item types

Locations

Series

Topics