|
| ||||
|
| ||||
|
|
On Some Variants of Second-Order Unification Publication year: 2005 Language: English In this thesis we present several results about Second-Order Unification. It is well known that the Second-Order Unification Problem is in general undecidable; the frontier between its decidable and u... Free eBook Available in the catalog: 09/28/2015 |
Escalera monástica en Galicia. Escaleras de rampas al aire: análisis gráfico Publication year: 2015 Language: Spanish Not available... Available in the catalog: 11/18/2015 |
Catálogo de colonias agrícolas históricas de la Comunidad de Madrid, 1850-1980 Publication year: 2005 Language: Spanish Not available... Available in the catalog: 04/03/2012 |
Rosas silvestres ibéricas: guía de identificación Joel Calvo Casas; Élise Ross-Nadié Publication year: 2016 Language: Spanish Review in English not available.... Available in the catalog: 06/27/2016 |
Alegorías: imagen y discurso en la España Moderna Edition: María Tausiet Publication year: 2014 Language: Spanish Not available... Available in the catalog: 10/20/2014 |
Tractatus de Legibus ac Deo Legislatore. Liber VI: de interpretatione, cessatione et mutatione legis humanae Publication year: 2012 Language: spanish; latin In this volume the research team from Corpus Hispanorum Pace Collection (CHP) at the Spanish National Research Council (CSIC) offers readers the continuation of the critical bilingual edition of Franc... Available in the catalog: 03/11/2013 |