Your search returned 53 results.

Not what you expected? Check for suggestions
Sort
Results
Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers / Balder D. ten Cate, Henk W. Zeevat (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (6th : 2005 : Batumi, Georgia) | Cate, Balder David ten | Zeevat, Henk, 1952-.

Series: Serienbezeichnung | LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science ; 4363. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: 6th International Tbilisi Symposium on Logic, Language, and Computation | Sixth International Tbilisi Symposium on Logic, Language, and Computation | International Tbilisi Symposium on Logic, Language, and Computation | TbiLLC 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday / Stefano Aguzzoli [and others] (eds.).

by Mundici, Daniele, 1946- | Aguzzoli, Stefano.

Series: Serienbezeichnung | Lecture notes in computer science ; 4460. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.Source: Springer e-booksMaterial type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher number: 12180226Publication details: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic and its applications : third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings / R. Ramanujam, Sundar Sarukkai (eds.).

by ICLA (Conference : Logic) (3rd : 2009 : Chennai, India) | Ramanujam, R | Sarukkai, Sundar.

Series: Serienbezeichnung | Lecture notes in computer science ; 5378. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12591718Publication details: Berlin : Springer, ©2009Other title: ICLA 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Dependency structures and lexicalized grammars : an algebraic approach / Marco Kuhlmann.

by Kuhlmann, Marco.

Series: Serienbezeichnung | Lecture notes in computer science ; 6270. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes / Gabriele Puppis.

by Puppis, Gabriele.

Series: Serienbezeichnung | Lecture notes in computer science ; 5955. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings / Anuj Dawar, Ruy de Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (17th : 2010 : Brasilia, Distrito Federal, Brazil) | Dawar, Anuj | Queiroz, Ruy J. G. B. de.

Series: Serienbezeichnung | Lecture notes in computer science ; 6188. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2010Other title: WoLLIC 2010.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic and the foundations of game and decision theory - LOFT 8 : 8th international conference, Amsterdam, the Netherlands, July 3-5, 2008 : revised selected papers / Giacomo Bonanno, Benedikt Löwe, Wiebe van der Hoek (eds.).

by International Conference on Logic and the Foundations of Game and Decision Theory (8th : 2008 : Amsterdam, Netherlands) | Bonanno, Giacomo | Löwe, Benedikt | Hoek, W. van der (Wiebe).

Series: Serienbezeichnung | Lecture notes in computer science ; 6006. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2010Other title: LOFT 2008 | LOFT 8.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Interfaces : explorations in logic, language and computation : ESSLLI 2008 and ESSLLI 2009 student sessions : selected papers / Thomas Icard, Reinhard Muskens (eds.).

by European Summer School in Logic, Language, and Information (20th : 2008 : Hamburg, Germany) | Icard, Thomas | Muskens, Reinhard, 1953- | European Summer School in Logic, Language, and Information (21st : 2009 : Bordeaux, France).

Series: Serienbezeichnung | Lecture notes in computer science ; 6211. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2010Other title: ESSLLI 2008 | ESSLLI 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
The mathematics of language : 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009 : revised selected papers / Christian Ebert, Gerhard Jäger, Jens Michaelis (eds.).

by Meeting on Mathematics of Language (10th : 2007 : Los Angeles, Calif.) | Ebert, Christian | Jäger, Gerhard, 1967- | Michaelis, Jens | Meeting on Mathematics of Language (11th : 2009 : Bielefeld, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 6149. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2010Other title: MOL 10 | MOL 11.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic, language and meaning : 17th Amsterdam Colloquium, Amsterdam, the Netherlands, December 16-18, 2009 : revised selected papers / Maria Aloni [and others] (eds.).

by Amsterdam Colloquium (17th : 2009 : Universiteit van Amsterdam) | Aloni, Maria.

Series: Serienbezeichnung | Lecture notes in computer science ; 6042. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2010Other title: Amsterdam Colloquium.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Ludics, dialogue and interaction : PRELUDE Project - 2006-2009 : revised selected papers / Alain Lecomte Samuel Tronçon (eds.).

by Lecomte, Alain, 1947- | Tronçon, Samuel.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 6505. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised selected papers / Philippe de Groote, Markus Egg, Laura Kallmeyer (Eds.).

by FG (Conference) (14th : 2009 : Bordeaux, France) | De Groote, Philippe | Egg, Markus, 1963- | Kallmeyer, Laura.

Series: Serienbezeichnung | Lecture notes in computer science ; 5591. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: FG 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Language, games, and evolution : trends in current research on language and game theory / Anton Benz [and others] (eds.).

by Benz, Anton, 1965- | European Summer School in Logic, Language, and Information (2007 : Berlin, Germany).

Series: Serienbezeichnung | Lecture notes in computer science ; 6207. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings / Lev D. Beklemishev, Ruy de Queiroz (eds.).

by Workshop on Logic, Language, Information and Computation (18th : 2011 : Philadelphia, Pa.) | Beklemishev, Lev Dmitrievich, 1967- | Queiroz, Ruy J. G. B. de.

Series: Serienbezeichnung | Lecture notes in computer science ; 6642. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011Other title: WoLLIC 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logical aspects of computational linguistics : 6th international conference, LACL 2011, Montpellier, France, June 29-July 1, 2011 : proceedings / Sylvain Pogodalla, Jean-Philippe Prost (eds.).

by LACL (Conference) (6th : 2011 : Montpellier, France) | Pogodalla, Sylvain | Prost, Jean-Philippe.

Series: Serienbezeichnung | Lecture notes in computer science ; 6736. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2011Other title: LACL 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday / Sylvain Pogodalla, Myriam Quatrini, Christian Retoré (eds.).

by Pogodalla, Sylvain | Quatrini, Myriam | Retoré, Christian.

Series: Serienbezeichnung | Lecture notes in computer science ; 6700. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin : Springer, 2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Tools for teaching logic : third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011, Proceedings / Patrick Blackburn [and others] (eds.).

by TICTTL 2011 (2011 : Salamanca, Spain) | Blackburn, Patrick, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 6680. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, ©2011Other title: TICTTL 2011.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic, language, and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers / Nick Bezhanishvili [and others] (eds.).

by International Tbilisi Symposium on Logic, Language, and Computation (8th : 2009 : Tbilisi, Georgia) | Bezhanishvili, Nick.

Series: Serienbezeichnung | Lecture notes in computer science ; 6618. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Heidelberg ; New York : Springer, ©2011Other title: TbiLLC 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic and games on automatic structures : playing with quantifiers and decompositions / Łukasz Kaiser.

by Kaiser, Łukasz.

Series: Serienbezeichnung | Lecture notes in computer science ; 6810. | Lecture notes in computer science. Lecture notes in artificial intelligence. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 7, Artificial intelligence.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Games, actions and social software : multidisciplinary aspects / Jan van Eijck, Rineke Verbrugge (eds.).

by Eijck, J. van (Jan) | Verbrugge, Rineke.

Series: Serienbezeichnung | Lecture notes in computer science ; 7010. | Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2012Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha