| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009235930403321 |
|
|
Titolo |
Logic-Based Program Synthesis and Transformation [Risorsa elettronica] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2007 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 4407 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNINA9910637298903321 |
|
|
Autore |
Migne J.-P (Jacques-Paul), <1800-1875> |
|
|
Titolo |
Patrologiae Cursus Completus, sive bibliotheca universalis ... omnium S.S. Patrum, Doctorum, Scriptorumque ecclesiasticorum qui ab aevo apostolico ad Innocentii III tempora floruerunt ... Series Secunda, . Patrologiae Tomus CXLIII [[electronic resource]] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Ann Arbor, Michigan : , : ProQuest LLC, , 1996 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Christian literature, Early - Latin authors |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Contains works by : Hermannus Contractus Monachus Augiae Divitis ; Humbertus S. R. E. Cardinalis ; S. Leo IX ; Victor II ; Stephanus IX ; Nicolaus II ; Stephanus Cardinalis ; Beatus Maurilius Rothomagensis ; Gervasius Remensis ; Raimbaldus Arelatensis ; Leodegarius Viennensis ; S. Anno Coloniensis ; Archiepiscopi ; Drogo Bellovacensis ; Joannes Sabinensis ; Adelmannus Brixiensis ; Hugo II Nivernensis ; Frollandus |
|
|
|
|
|
|
|
|
|
|
Sylvanectensis ; Leo Atinensis ; Bovo Abbas S. Bertini ; Widricus Abbas S. Ghislenis ; Avesgotus Abbas S. Petri Culturae Cenomanensis ; Theuzo Eremita et Monachus ; Odo Monachus Fossatensis ; Anselmus Canonicus Leodiensis ; Gozechinus Scholasticus ; Franco Scholasticus Leodiensis ; Ss. Arialdus et Herlembaldus ; Berengarius Vicecomes Narboniensis. |
|
|
|
|
|
| |