The logic of categorial grammars A deductive account of natural language syntax and semantics /

The logic of categorial grammars A deductive account of natural language syntax and semantics /

<p>This textbook is a contemporary, comprehensive introduction to categorial grammars in the logical tradition initiated by Lambek. It guides students and researchers through fundamental results, original developments and applications. Numerous examples and exercises underline the logical, com...

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Moot, Richard (Údar)
Údar corparáideach:	SpringerLink (Online service)
Rannpháirtithe:	Retoré, Christian
Formáid:	Ríomhleabhar
Teanga:	English
Foilsithe / Cruthaithe:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Sraith:	Lecture Notes in Computer Science, 6850
Ábhair:	Computer science. Computer software. Logic design. Artificial intelligence. Logic, Symbolic and mathematical.
Rochtain ar líne:	Click here to view the full text content
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Natural deduction, hybrid systems and modal logics
de réir: Indrzejczak, Andrzej
Foilsithe / Cruthaithe: (2010)

Logic-based artificial intelligence /
Foilsithe / Cruthaithe: (2000)

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
Foilsithe / Cruthaithe: (2007)

Logical tools for handling change in agent-based systems /
de réir: Gabbay, Dov M., 1945-
Foilsithe / Cruthaithe: (2010)

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

Epistemic logic for AI and computer science /
de réir: Meyer, John-Jules Ch
Foilsithe / Cruthaithe: (1995)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
Foilsithe / Cruthaithe: (2012)

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 /
Foilsithe / Cruthaithe: (2006)

Sets, logic and categories
de réir: Cameron, Peter J.
Foilsithe / Cruthaithe: (1998)

Sets, logic and categories
de réir: Cameron, Peter J.
Foilsithe / Cruthaithe: (1998)

Logic design theory /
de réir: Biswas, Nripendra Nath
Foilsithe / Cruthaithe: (1993)

Logic design theory /
de réir: Biswas, Nripendra N.
Foilsithe / Cruthaithe: (2006)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
de réir: Artemov, Sergei N.
Foilsithe / Cruthaithe: (2007)

Elementary logics : a procedural perspective /
de réir: Gabbay, Dov M.
Foilsithe / Cruthaithe: (1998)

The nature of computation. logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Foilsithe / Cruthaithe: (2013)

Mathematical logic foundations for information science /
de réir: Li, Wei
Foilsithe / Cruthaithe: (2010)

Mathematical logic : foundations for information science /
de réir: Li, Wei
Foilsithe / Cruthaithe: (2014)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
Foilsithe / Cruthaithe: (2000)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
Foilsithe / Cruthaithe: (2006)

Logical foundations of mathematics and computational complexity : a gentle introduction /
de réir: Pudlak, Pavel
Foilsithe / Cruthaithe: (2013)

A concise introduction to mathematical logic
de réir: Rautenberg, Wolfgang
Foilsithe / Cruthaithe: (2006)

A Course in mathematical Logic for mathematicians
de réir: Manin, Yu. I.
Foilsithe / Cruthaithe: (2010)

Mathematical logic for computer science /
de réir: Ben-Ari, Mordechai
Foilsithe / Cruthaithe: (2012)

Mathematical logic /
de réir: Shoenfield, Joseph R.
Foilsithe / Cruthaithe: (1967)

Mathematical logic /
Foilsithe / Cruthaithe: (2001)

Mathematical logic /
de réir: Chiswell, Ian, 1948-
Foilsithe / Cruthaithe: (2007)

Handbook of spatial logics /
Foilsithe / Cruthaithe: (2007)

Logic for computer scientists /
de réir: Schoning, Uwe
Foilsithe / Cruthaithe: (2008)

A Course on Mathematical Logic
de réir: Srivastava, S. M.
Foilsithe / Cruthaithe: (2008)

A mathematical introduction to logic /
de réir: Enderton, Herbert B.
Foilsithe / Cruthaithe: (2001)

Introduction to mathematical logic /
de réir: Walicki, Michał
Foilsithe / Cruthaithe: (2012)

Introduction to mathematical logic /
de réir: Mendelson, Elliott
Foilsithe / Cruthaithe: (2010)

Logic, sets and recursions /
de réir: Causey, Robert L.
Foilsithe / Cruthaithe: (2006)

Introduction to mathematical logic /
de réir: Mendelson, Elliott
Foilsithe / Cruthaithe: (1997)

Understanding symbolic logic /
de réir: Klenk, Virginia
Foilsithe / Cruthaithe: (2008)

A concise introduction to mathematical logic
de réir: Rautenberg, Wolfgang
Foilsithe / Cruthaithe: (2010)

A concise introduction to mathematical logic /
de réir: Rautenberg, Wolfgang
Foilsithe / Cruthaithe: (2006)

Logic for mathematics and computer science /
de réir: Burris, Stanley N.
Foilsithe / Cruthaithe: (1998)

Computation as logic /
de réir: Lalement, Rene
Foilsithe / Cruthaithe: (1993)