Formalising the natural language of mathematics: a mathematical vernacular

Research output: Contribution to conference › Paper

Original language	English
Publication status	Published - 2001
Event	The Fourth International Tbilisi Symposium on Language, Logic and Computation - , United States Duration: 23 Sept 2001 → 28 Sept 2001

Conference	The Fourth International Tbilisi Symposium on Language, Logic and Computation
Country/Territory	United States
Period	23/09/01 → 28/09/01

Cite this

@conference{d07d5cb96d0044cb8ae613c0020e4725,

title = "Formalising the natural language of mathematics: a mathematical vernacular",

author = "R Nederpelt and Kamareddine, \{Fairouz Dib\}",

year = "2001",

language = "English",

note = "The Fourth International Tbilisi Symposium on Language, Logic and Computation ; Conference date: 23-09-2001 Through 28-09-2001",

}