Lama - PDFSEARCH.IO - Document Search Engine

Lama
Results: 1105

#	Item
101	Abstracts Deadline : May, 25th 2013 Publication of proceedings After reviewing, proceedings will be published in a regular journal Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2013-06-27 02:57:27
102	Microsoft Word - song_for_the_dalai_lama.doc Add to Reading List Source URL: www.raffinews.com - Date: 2012-04-24 12:26:32
103	Intro First-order theories Higher-order theories Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-09-16 03:38:56 Mathematics Logic Mathematical structures Mathematical logic Model theory Universal algebra Metalogic Lawvere theory Topology William Lawvere Structure
104	Motivation Examples Implementation details A Controlled Language for Software Specifications & Mathematical text Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-01-08 15:33:47
105	ANAFILAXIA EN PEDIATRÍA LA Echeverría Zudaire(1), MR del Olmo de la Lama(2), C Santana Rodríguez(3) Unidad de Alergia y Neumología Infantil. Hospital Universitario Severo Ochoa. Leganés, Madrid. (2) Unidad de Alergi Add to Reading List Source URL: www.aeped.es Language: Spanish - Date: 2014-04-13 13:02:18
106	Background and Context MathAbs Final Remarks Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2010-12-23 23:23:54
107	PDF Document Add to Reading List Source URL: lama.univ-savoie.fr Language: English - Date: 2014-04-10 03:07:04 Logic in computer science Game theory Models of computation Formal methods Denotational semantics Game semantics Semantics Strategy Equivalence of categories Sheaf
108	PDF Document Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2009-05-13 09:18:28
109	PDF Document Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2008-02-11 04:21:27
110	PDF Document Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2013-08-29 03:03:35

UPDATE