- BR SPCLEARQ FAIA-PItm-IT447
- Unidad documental simple
- [1983]
Parte deAyda Ignez Arruda
Sin título
3 resultados con objetos digitales Muestra los resultados con objetos digitales
Parte deAyda Ignez Arruda
Sin título
Sur certains hiérarchies de calculs de prédicats
Parte deAyda Ignez Arruda
Sin título
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
Sin título
Wroctaw: Polish Academy of Sciences
Parte deAyda Ignez Arruda
Sin título
Calculs de descriptions pour les systèmes formels inconsistants
Parte deAyda Ignez Arruda
Sin título
Une sémantique pour le calcul C1
Parte deAyda Ignez Arruda
Sin título
Parte deJoaquim da Costa Ribeiro
Sin título
Parte deJosé Carlos Valladão de Mattos
Sin título
Cartão de P. Klíma a JCVM e R. C. Leite
Parte deJosé Carlos Valladão de Mattos
Sin título
Cartão de G. Jungk a JCVM, W.O.N. Guimarães e R.C.C. Leite
Parte deJosé Carlos Valladão de Mattos
Sin título