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.

« Previous
1
2
3
4
5
6
Next »

« Previous
1
2
3
4
5
6
Next »

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

	41.	Reasoning Web [electronic resource] : 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures / edited by Cristina Baroglio, Piero A. Bonatti, Jan Małuszyński, Massimo Marchiori, Axel Polleres, Sebastian Schaffert. by Baroglio, Cristina \| Bonatti, Piero A \| Małuszyński, Jan \| Marchiori, Massimo \| Polleres, Axel \| Schaffert, Sebastian \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	42.	KI 2008: Advances in Artificial Intelligence [electronic resource] : 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Andreas R. Dengel, Karsten Berns, Thomas M. Breuel, Frank Bomarius, Thomas R. Roth-Berghofer. by Dengel, Andreas R \| Berns, Karsten \| Breuel, Thomas M \| Bomarius, Frank \| Roth-Berghofer, Thomas R \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	43.	Computational Processing of the Portuguese Language [electronic resource] : 8th International Conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 Proceedings / edited by António Teixeira, Vera Lúcia Strube Lima, Luís Caldas Oliveira, Paulo Quaresma. by Teixeira, António \| Lima, Vera Lúcia Strube \| Oliveira, Luís Caldas \| Quaresma, Paulo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	44.	Advances in Artificial Intelligence - SBIA 2008 [electronic resource] : 19th Brazilian Symposium on Artificial Intelligence Savador, Brazil, October 26-30, 2008. Proceedings / edited by Gerson Zaverucha, Augusto Loureiro Costa. by Zaverucha, Gerson \| Costa, Augusto Loureiro \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	45.	Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs [electronic resource] : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers / edited by Barbara Paech, Craig Martell. by Paech, Barbara \| Martell, Craig \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available Add to cart (remove)
	46.	Computational Linguistics and Intelligent Text Processing [electronic resource] : 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009. Proceedings / edited by Alexander Gelbukh. by Gelbukh, Alexander \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	47.	Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / edited by Peter Bosch, David Gabelaia, Jérôme Lang. by Bosch, Peter \| Gabelaia, David \| Lang, Jérôme \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	48.	Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings / edited by Wenjie Li, Diego Mollá-Aliod. by Li, Wenjie \| Mollá-Aliod, Diego \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	49.	State of the Art in Computational Morphology [electronic resource] : Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, September 4, 2009. Proceedings / edited by Cerstin Mahlow, Michael Piotrowski. by Mahlow, Cerstin \| Piotrowski, Michael \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	50.	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 \| Hund, Marcus \| Aziz, Zaheer \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	51.	Aspects of Natural Language Processing [electronic resource] : Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday / edited by Małgorzata Marciniak, Agnieszka Mykowiecka. by Marciniak, Małgorzata \| Mykowiecka, Agnieszka \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	52.	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 \| Branco, António \| Mitkov, Ruslan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	53.	AI 2009: Advances in Artificial Intelligence [electronic resource] : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings / edited by Ann Nicholson, Xiaodong Li. by Nicholson, Ann \| Li, Xiaodong \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	54.	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 \| Kornai, András \| Sakarovitch, Jacques \| Watson, Bruce \| 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)
	55.	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 \| 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)
	56.	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 \| Singh Lehal, Gurpreet \| Sengupta, Jyotsna \| Sharma, Dharam Veer \| Goyal, Vishal \| 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)
	57.	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 \| Quatrini, Myriam \| Retoré, Christian \| 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)
	58.	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 \| Löbner, Sebastian \| Schwabe, Kerstin \| Spada, Luca \| 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)
	59.	The Golden Age of Polish Philosophy [electronic resource] : Kazimierz Twardowski’s Philosophical Legacy / edited by Sandra Lapointe, Jan Wolénski, Mathieu Marion, Wioletta Miskiewicz. by Lapointe, Sandra \| Wolénski, Jan \| Marion, Mathieu \| Miskiewicz, Wioletta \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	60.	Fallacies and Judgments of Reasonableness [electronic resource] : Empirical Research Concerning the Pragma-Dialectical Discussion Rules / by Frans Eemeren, Bart Garssen, Bert Meuffels. by Eemeren, Frans \| Garssen, Bart \| Meuffels, Bert \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online 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