Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /

<p>The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI off...

Полное описание

Сохранить в:

Библиографические подробности
Соавтор:	SpringerLink (Online service)
Другие авторы:	Goranko, Valentin, Bezhanishvili, Nick
Формат:	eКнига
Язык:	English
Опубликовано:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Серии:	Lecture Notes in Computer Science 7388
Предметы:	Computer science. Computer software. Logic design. Computational complexity. Artificial intelligence. Logic, Symbolic and mathematical.
Online-ссылка:	Click here to view the full text content
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Схожие документы

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Logic-based artificial intelligence /
Опубликовано: (2000)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Опубликовано: (2013)

Epistemic logic for AI and computer science /
по: Meyer, John-Jules Ch
Опубликовано: (1995)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Опубликовано: (2007)

Logical tools for handling change in agent-based systems /
по: Gabbay, Dov M., 1945-
Опубликовано: (2010)

The logic of categorial grammars A deductive account of natural language syntax and semantics /
по: Moot, Richard
Опубликовано: (2012)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Опубликовано: (2012)

New directions in logic, language and computation : ESSLLI 2010 and ESSLLI 2011 student sessions. selected papers /
Опубликовано: (2012)

Deontic logic in computer science 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
Опубликовано: (2010)

Lectures in logic and set theory : mathematical logic /
по: Tourlakis, George
Опубликовано: (2003)

Mathematical logic for computer science /
по: Ben-Ari, Mordechai
Опубликовано: (2012)

Natural deduction, hybrid systems and modal logics
по: Indrzejczak, Andrzej
Опубликовано: (2010)

Logical foundations of mathematics and computational complexity : a gentle introduction /
по: Pudlak, Pavel
Опубликовано: (2013)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
по: Artemov, Sergei N.
Опубликовано: (2007)

Computation as logic /
по: Lalement, Rene
Опубликовано: (1993)

Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday

Mathematical problems from applied logic I logics for the XXIst century /
Опубликовано: (2006)

Logic for computer scientists /
по: Schoning, Uwe
Опубликовано: (2008)

Mathematical logic foundations for information science /
по: Li, Wei
Опубликовано: (2010)

Elementary logics : a procedural perspective /
по: Gabbay, Dov M.
Опубликовано: (1998)

Mathematical logic : foundations for information science /
по: Li, Wei
Опубликовано: (2014)

Fork algebras in algebra, logic and computer science /
по: Frias, Marcelo Fabian
Опубликовано: (2002)

Elements of the theory of computation /
по: Lewis, Harry R.
Опубликовано: (1998)

Computer science logic 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
Опубликовано: (2010)

Logic for mathematics and computer science /
по: Burris, Stanley N.
Опубликовано: (1998)

A concise introduction to mathematical logic
по: Rautenberg, Wolfgang
Опубликовано: (2006)

Lectures in logic and set theory : mathematical logic /
по: Tourlakis, George
Опубликовано: (2003)

Inductive logic programming 21st international conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011, revised selected papers /
Опубликовано: (2012)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Опубликовано: (2013)

Handbook of spatial logics /
Опубликовано: (2007)

Interfaces: explorations in logic, language and computation ESSLLI 2008 and ESSLLI 2009 student sessions. selected papers /
Опубликовано: (2010)

Notes on set theory
по: Moschovakis, Yiannis
Опубликовано: (2006)

Logic programming and nonmonotonic reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /
Опубликовано: (2013)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
Опубликовано: (2000)

Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
Опубликовано: (2010)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Опубликовано: (2006)

A concise introduction to mathematical logic
по: Rautenberg, Wolfgang
Опубликовано: (2010)

Mathematical logic /
по: Shoenfield, Joseph R.
Опубликовано: (1967)

Mathematical logic /
Опубликовано: (2001)