- BR SPCLEARQ FAIA-PItm-IT447
- Item
- [1983]
Part of Ayda Ignez Arruda
Untitled
3 results with digital objects Show results with digital objects
Part of Ayda Ignez Arruda
Untitled
Sur certains hiérarchies de calculs de prédicats
Part of Ayda Ignez Arruda
Untitled
Sur certaines hiérarchies de calculs propositionnels
Part of Ayda Ignez Arruda
Untitled
Wroctaw: Polish Academy of Sciences
Part of Ayda Ignez Arruda
Untitled
Calculs de descriptions pour les systèmes formels inconsistants
Part of Ayda Ignez Arruda
Untitled
Une sémantique pour le calcul C1
Part of Ayda Ignez Arruda
Untitled
Part of Joaquim da Costa Ribeiro
Untitled
Part of José Carlos Valladão de Mattos
José Carlos Valladão de Matos
Cartão de P. Klíma a JCVM e R. C. Leite
Part of José Carlos Valladão de Mattos
José Carlos Valladão de Matos
Cartão de G. Jungk a JCVM, W.O.N. Guimarães e R.C.C. Leite
Part of José Carlos Valladão de Mattos
José Carlos Valladão de Matos