The Language of Mathematics A Linguistic and Philosophical Investigation /

The Language of Mathematics A Linguistic and Philosophical Investigation /

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Ganesalingam, Mohan (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:	Lecture Notes in Computer Science, 7805
Θέματα:	Computer science. Mathematical logic. Artificial intelligence. Computational linguistics. Computer graphics. Computer Science. Computer Imaging, Vision, Pattern Recognition and Graphics. Mathematical Logic and Formal Languages. Language Translation and Linguistics. Artificial Intelligence (incl. Robotics).
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings /
Έκδοση: (2012)

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers /
Έκδοση: (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 /
Έκδοση: (2013)

Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers /
Έκδοση: (2012)

Computational Issues in Fluid Construction Grammar A New Formalism for the Representation of Lexicons and Grammars /
Έκδοση: (2012)

Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers /
Έκδοση: (2015)

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /
Έκδοση: (2011)

Logic, Language, and Computation 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers /
Έκδοση: (2017)

Natural Language Generation Third International Conference, INLG 2004, Brockenhurst, UK, July 14-16, 2004. Proceedings /
Έκδοση: (2004)

Programming Logics Essays in Memory of Harald Ganzinger /
Έκδοση: (2013)

Multimodal Corpora From Models of Natural Interaction to Systems and Applications /
Έκδοση: (2009)

Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings /
Έκδοση: (2005)

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday /
Έκδοση: (2011)

Geometric Modeling and Processing - GMP 2006 4th International Conference, Pittsburgh, PA, USA, July 26-28, 2006. Proceedings /
Έκδοση: (2006)

Advances in Geometric Modeling and Processing 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings /
Έκδοση: (2008)

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings /
Έκδοση: (2016)

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /
Έκδοση: (2011)

Algebraic and Proof-theoretic Aspects of Non-classical Logics Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday /
Έκδοση: (2007)

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Έκδοση: (2013)

Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers /
Έκδοση: (2007)

Logical Aspects of Computational Linguistics 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings /
Έκδοση: (2014)

Automated Deduction in Geometry 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002. Revised Papers /
Έκδοση: (2004)

Automated Deduction in Geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
Έκδοση: (2007)

Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers /
Έκδοση: (2009)

Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
Έκδοση: (2009)

New Frontiers in Artificial Intelligence JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers /
Έκδοση: (2009)

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
Έκδοση: (2012)

Computational Linguistics and Intelligent Text Processing 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005. Proceedings /
Έκδοση: (2005)

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings /
Έκδοση: (2009)

Computable Models
ανά: Turner, Raymond
Έκδοση: (2009)

Integration of World Knowledge for Natural Language Understanding
ανά: Ovchinnikova, Ekaterina
Έκδοση: (2012)

Model Generation for Natural Language Interpretation and Analysis
ανά: Konrad, Karsten
Έκδοση: (2004)

Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers /
Έκδοση: (2010)

KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings /
Έκδοση: (2007)

Markov Models for Pattern Recognition From Theory to Applications /
ανά: Fink, Gernot A.
Έκδοση: (2008)

Markov Models for Pattern Recognition From Theory to Applications /
ανά: Fink, Gernot A.
Έκδοση: (2014)

Rough Sets and Knowledge Technology 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings /
Έκδοση: (2012)

Argumentation in Multi-Agent Systems 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers /
Έκδοση: (2012)

Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers /
Έκδοση: (2006)

Chinese Lexical Semantics 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers /
Έκδοση: (2016)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών