The Language of Mathematics A Linguistic and Philosophical Investigation

The Language of Mathematics A Linguistic and Philosophical Investigation / by Mohan Ganesalingam.

The Language of Mathematics was awarded the E.W. Beth Dissertation Prize for outstanding dissertations in the fields of logic, language, and information. It innovatively combines techniques from linguistics, philosophy of mathematics, and computation to give the first wide-ranging analysis of mathem...

Full description

Saved in:

Bibliographic Details
Main Author:	Ganesalingam, Mohan (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:	1st ed. 2013.
Series:	Theoretical Computer Science and General Issues ; 7805 Springer eBook Collection.
Subjects:	Optical data processing. Mathematical logic. Natural language processing (Computer science). Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012, Proceedings
Published: (2012)

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers
Published: (2012)

Machine Learning Challenges Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers
Published: (2006)

Human Language Technology. Challenges for Computer Science and Linguistics 7th Language and Technology Conference, LTC 2015, Poznań, Poland, November 27-29, 2015, Revised Selected Papers
Published: (2018)

Computational Processing of the Portuguese Language 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings
Published: (2018)

Integration of Natural Language and Vision Processing (Volume II) Intelligent Multimedia
Published: (1995)

Integration of Natural Language and Vision Processing Theory and Grounding Representations Volume III
Published: (1996)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Published: (2007)

Information Systems for Indian Languages International Conference, ICISIL 2011, Patiala, India, March 9-11, 2011. Proceedings
Published: (2011)

Chinese Spoken Language Processing 5th International Symposium, ISCSLP 2006, Singapore, December 13-16, 2006, Proceedings
Published: (2006)

Studies on Speech Production 11th International Seminar, ISSP 2017, Tianjin, China, October 16-19, 2017, Revised Selected Papers
Published: (2018)

Computation of Language An Essay on Syntax, Semantics and Pragmatics in Natural Man-Machine Communication
by: Hausser, Roland
Published: (1989)

Natural Language Communication with Pictorial Information Systems
Published: (1984)

Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Published: (2017)

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
Published: (2011)

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Published: (2015)

Natural Language and Logic International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings
Published: (1990)

Natural Language Generation Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004, Proceedings
Published: (2004)

Computer Processing of Oriental Languages. Beyond the Orient: The Research Challenges Ahead 21st International Conference, ICCPOL 2006, Singapore, December 17-19, 2006, Proceedings
Published: (2006)

Integration of World Knowledge for Natural Language Understanding
by: Ovchinnikova, Ekaterina
Published: (2012)

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Published: (2013)

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings
Published: (2011)

Natural Language Processing and Chinese Computing : 9th CCF International Conference, NLPCC 2020, Zhengzhou, China, October 14-18, 2020, Proceedings. Part II
Published: (2020)

AI and Cognitive Science ’89 Dublin City University 14–15 September 1989
Published: (1990)

Logic and Its Applications 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings
Published: (2013)

Model Generation for Natural Language Interpretation and Analysis
by: Konrad, Karsten
Published: (2004)

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers
Published: (2006)

Anaphora Processing and Applications 7th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2009 Goa, India, November 5-6, 2009 Proceedings
Published: (2009)

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings
Published: (2007)

Artificial Intelligence and Natural Language 6th Conference, AINL 2017, St. Petersburg, Russia, September 20–23, 2017, Revised Selected Papers
Published: (2018)

Aspects of Natural Language Processing Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday
Published: (2009)

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Published: (2019)

Natural Language Processing and Information Systems 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings
Published: (2016)

Description Logics in Multimedia Reasoning
by: Sikos, Leslie F.
Published: (2017)

Progress in Artificial Intelligence and Pattern Recognition 6th International Workshop, IWAIPR 2018, Havana, Cuba, September 24–26, 2018, Proceedings
Published: (2018)

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
Published: (2009)

MICAI 2005: Advances in Artificial Intelligence 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
Published: (2005)

Rough Sets and Current Trends in Computing First International Conference, RSCTC’98 Warsaw, Poland, June 22–26, 1998 Proceedings
Published: (1998)

MICAI 2002: Advances in Artificial Intelligence Second Mexican International Conference on Artificial Intelligence Merida, Yucatan, Mexico, April 22-26, 2002 Proceedings
Published: (2002)

MICAI 2004: Advances in Artificial Intelligence Third Mexican International Conference on Artificial Intelligence, Mexico City, Mexico, April 26-30, 2004, Proceedings
Published: (2004)