Rodríguez-Artalejo, Mario.
Rodríguez-Artalejo, M.
Rodriguez Artalejo, Mario, 1951-....
Rodríguez Artalejo, M. (Mario)
Mario Rodríguez Artalejo Ph.D. Universidad Complutense de Madrid 1978
VIAF ID: 27167988 ( Personal )
Permalink: http://viaf.org/viaf/27167988
Preferred Forms
- 100 0 _ ‡a Mario Rodríguez Artalejo ‡c Ph.D. Universidad Complutense de Madrid 1978
- 100 1 _ ‡a Rodriguez Artalejo, Mario
- 100 1 _ ‡a Rodriguez Artalejo, Mario, ‡d 1951-....
-
- 100 1 _ ‡a Rodríguez Artalejo, M. ‡q (Mario)
-
-
- 200 _ | ‡a Rodríguez-Artalejo ‡b Mario
-
-
- 100 1 0 ‡a Rodríguez Artalejo, Mario
-
-
4xx's: Alternate Name Forms (21)
Works
Title | Sources |
---|---|
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings | |
Brisa, matemáticas 3 | |
Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings | |
Fourth International conference on Algebraic and Logic Programming | |
Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : Proceedings | |
An intuitionistic logic for partial functions | |
Juegos de calcular : 38 sugerencias para utilizar el "juego del abaco" : guia didactica autor Theodor Ziegler ; colaborador Mario Rodríguez Artalejo ; ilustraciones, Günther Schlierf | |
Una Lógica trivalorada para funciones recursivas parciales | |
Matemática discreta y lógica matemática | |
El Mundo del número : E.G.B. 8 |