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...

保存先:

書誌詳細
第一著者:	Moot, Richard (著者)
団体著者:	SpringerLink (Online service)
その他の著者:	Retoré, Christian
フォーマット:	eBook
言語:	English
出版事項:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
シリーズ:	Lecture Notes in Computer Science, 6850
主題:	Computer science. Computer software. Logic design. Artificial intelligence. Logic, Symbolic and mathematical.
オンライン･アクセス:	Click here to view the full text content
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Natural deduction, hybrid systems and modal logics
著者:: Indrzejczak, Andrzej
出版事項: (2010)

Logic-based artificial intelligence /
出版事項: (2000)

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)

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 /
著者:: Meyer, John-Jules Ch
出版事項: (1995)

Lectures on logic and computation : ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes /
出版事項: (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 /
出版事項: (2006)

Sets, logic and categories
著者:: Cameron, Peter J.
出版事項: (1998)

Sets, logic and categories
著者:: Cameron, Peter J.
出版事項: (1998)

Logic design theory /
著者:: Biswas, Nripendra Nath
出版事項: (1993)

Logic design theory /
著者:: Biswas, Nripendra N.
出版事項: (2006)

Logical foundations of computer science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings /
著者:: Artemov, Sergei N.
出版事項: (2007)

Elementary logics : a procedural perspective /
著者:: Gabbay, Dov M.
出版事項: (1998)

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

Mathematical logic foundations for information science /
著者:: Li, Wei
出版事項: (2010)

Mathematical logic : foundations for information science /
著者:: Li, Wei
出版事項: (2014)

Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
出版事項: (2000)

Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
出版事項: (2006)

Logical foundations of mathematics and computational complexity : a gentle introduction /
著者:: Pudlak, Pavel
出版事項: (2013)

A concise introduction to mathematical logic
著者:: Rautenberg, Wolfgang
出版事項: (2006)

A Course in mathematical Logic for mathematicians
著者:: Manin, Yu. I.
出版事項: (2010)

Mathematical logic for computer science /
著者:: Ben-Ari, Mordechai
出版事項: (2012)

Mathematical logic /
著者:: Shoenfield, Joseph R.
出版事項: (1967)

Mathematical logic /
出版事項: (2001)

Mathematical logic /
著者:: Chiswell, Ian, 1948-
出版事項: (2007)

Handbook of spatial logics /
出版事項: (2007)

Logic for computer scientists /
著者:: Schoning, Uwe
出版事項: (2008)

A Course on Mathematical Logic
著者:: Srivastava, S. M.
出版事項: (2008)

A mathematical introduction to logic /
著者:: Enderton, Herbert B.
出版事項: (2001)

Introduction to mathematical logic /
著者:: Walicki, Michał
出版事項: (2012)

Introduction to mathematical logic /
著者:: Mendelson, Elliott
出版事項: (2010)

Logic, sets and recursions /
著者:: Causey, Robert L.
出版事項: (2006)

Introduction to mathematical logic /
著者:: Mendelson, Elliott
出版事項: (1997)

Understanding symbolic logic /
著者:: Klenk, Virginia
出版事項: (2008)

A concise introduction to mathematical logic
著者:: Rautenberg, Wolfgang
出版事項: (2010)

A concise introduction to mathematical logic /
著者:: Rautenberg, Wolfgang
出版事項: (2006)

Logic for mathematics and computer science /
著者:: Burris, Stanley N.
出版事項: (1998)

Computation as logic /
著者:: Lalement, Rene
出版事項: (1993)