-
291Dupont, Jacques, O.S.B., Gnosis. La connaissance religieuse dans les Épitres de saint Paul (review)Augustinianum 2 (3): 559-559. 1962.
-
53Satisfiability testing for Boolean formulas using δ-treesStudia Logica 72 (1). 2002.The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size…Read more
-
27Dupont, Jacques, O.S.B., Les sources du Livre des Actes. État de la question (review)Augustinianum 2 (3): 557-558. 1962.
-
27Enchiridion Biblicum. Documenta ecclesiastica Sacram Scripturam spectantia (review)Augustinianum 2 (1): 179-179. 1962.
-
25Brunot, Amédée, S. C. J., Saint Paul and his Message (review)Augustinianum 1 (3): 557-557. 1961.
-
21Milik, J. T., Diez años de descubrimientos en el desierto de Judá (review)Augustinianum 2 (3): 564-564. 1962.
-
21Zorell, Franciscus, S. J., Lexicon Graecum Novi Testamenti (review)Augustinianum 1 (3): 552-553. 1961.
-
20Wikenhauser, Alfred, Introducción al Nuevo Testamento (review)Augustinianum 1 (3): 553-555. 1961.
-
19Kerygma und Mythos, Band V: Die Theologie Bultmanns und die Entmythologisierung in der Kritik der katholischen Theologie. Herausgegebenvon Dr. theol. H.-W. Bartsch – Theunis, Franz, C. P., Offenbarung und Glaube bei Rudolf Bultmann. Ergänzung zur Kerygma und Mythos V. Ibidem (review)Augustinianum 1 (3): 558-559. 1961.
-
16Satisfiability Testing for Boolean Formulas Using Δ-TreesStudia Logica 72 (1). 2002.The tree-based data structure of △-tree for propositional formulas is introduced in an improved and optimised form. The △-trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the si…Read more
-
16Introduzione al Nuovo Testamento, a cura di G. Rinaldi e P. de Benedetti (review)Augustinianum 2 (1): 155-158. 1962.
-
13Dizionario Biblico, pubblicato da H. Haag in collaborazione con A. von den Born e nurnerosi specialisti. Prima edizione anlpliata italiana a cura di G. Gennaro, O. F. M (review)Augustinianum 1 (3): 551-552. 1961.
-
12Behler, G.-M., O. P., Les paroles d’adieux du Seigneur (review)Augustinianum 2 (1): 165-166. 1962.
-
12Blinzer, J., Der Prozess Jesu. Das jüdische und das römische Gerichtsverfahren gegen Jesus Christus auf Grund der ältesten Zeugnisse dargestellt und beurteilt (review)Augustinianum 2 (3): 555-557. 1962.
-
12Hennecke, E., Neutestamentliche Apokryphen in deutscher Uebersetzung (review)Augustinianum 5 (2): 411-412. 1965.
-
12Cantinat, Jean, C.M., Les épitres de saint Paul expliquées (review)Augustinianum 2 (1): 169-170. 1962.
-
12Enchiridion Biblicum. Documenta ecclesiastica Sacram Scripturam spectantia (review)Augustinianum 2 (1): 179-179. 1962.
-
11Blinzer, J., Der Prozess Jesu. Das jüdische und das römische Gerichtsverfahren gegen Jesus Christus auf Grund der ältesten Zeugnisse dargestellt und beurteilt (review)Augustinianum 2 (3): 555-557. 1962.
-
11Ŷābir b. Aflaḥ al-Išbīlī, conocido como Geber filius Afflay Hispalensis en la Europa medieval, fue un matemático y astrónomo teórico que probablemente floreció en Sevilla durante el primer cuarto del s. XII. Ŷābir b. Aflaḥ es un astrónomo medieval importante gracias a su obra principal, IIṣlāḥ al-Maŷisṭī, traducida al latín y al hebreo. Con el IIṣlāḥ al-Maŷisṭī, su autor pretende reescribir el Almagesto a la vez que introduce algunas correcciones. En 1984, A.I. Sabra, en su importante artículo «…Read more
-
10Behler, G.-M., O. P., Les paroles d’adieux du Seigneur (review)Augustinianum 2 (1): 165-166. 1962.
-
9Santayana, arqueólogo de la pasiónTeorema: International Journal of Philosophy 21 (1): 261-263. 2002.
-
7Zerwick, Max, S. J., Der Brief an die Epheser (Geistliche Schriftlesung 10) (review)Augustinianum 2 (3): 560-560. 1962.
-
5Dos lagunas en la carta "Progresso Mihi" de Vives a ErasmoSalmanticensis 18 (2-3): 377-384. 1971.
-
2Palabra y "areté" en la poesía homérica (Un acercamiento a los orígenes de la estética en Occidente)Diálogo Filosófico 11 178-182. 1988.
-
2Zerwick, Max, S. J., Der Brief an die Epheser (Geistliche Schriftlesung 10) (review)Augustinianum 2 (3): 560-560. 1962.
San Nicolás de los Garza, Nuevo León, Mexico
Areas of Interest
Applied Ethics |
Philosophy of the Americas |