Ume - PDFSEARCH.IO - Document Search Engine

Ume
Results: 384

#	Item
181	PDF Document Add to Reading List Source URL: www.ume.mde.es - Date: 2013-09-24 03:00:59
182	BOD. núm[removed]de abril de[removed] Add to Reading List Source URL: www.ume.mde.es Language: Spanish - Date: 2013-09-24 04:33:26
183	Literate Sources for Content Dictionaries Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; [removed] Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:50:41 Technical communication Typesetting OpenMath OMDoc Literate programming TeX MathML XML Michael Kohlhase Computing Markup languages Mathematical markup languages
184	BOD. núm[removed]de octubre de 2006 ANEXO III NORMAS SOBRE LICENCIAS Add to Reading List Source URL: www.ume.mde.es Language: Spanish - Date: 2013-09-24 04:33:26
185	Quantifiers and n-ary Binders: an OpenMath Standard Enhancement Proposal Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:50:41 Predicate logic Markup languages Mathematical markup languages Computability theory OpenMath First-order logic Quantification MathML Lambda calculus Logic Mathematical logic Mathematics
186	PDF Document Add to Reading List Source URL: www.ume.mde.es Language: Spanish - Date: 2013-09-24 03:01:09
187	Microsoft Word - Documento1 Add to Reading List Source URL: www.ume.mde.es - Date: 2013-09-24 03:01:09
188	SKMBT_C35313031313390.jpg Add to Reading List Source URL: www.ume.mde.es - Date: 2013-09-24 03:01:08
189	Microsoft Word - Discurso TG. Muro Toma de Mando Add to Reading List Source URL: www.ume.mde.es Language: Spanish - Date: 2013-09-24 03:00:58
190	“ Lo que hicimos fue que el suelo y los edificios de Buñol los gestionábamos como Add to Reading List Source URL: www.ume.mde.es Language: Spanish - Date: 2014-06-25 03:38:57

UPDATE