Criterii căutate


Sumarul căutării

  • 1 articol
Tip Anul Publicație și Volum/Nr. Realizatori Titlul articolui Secțiunea Pagina Limba
articol de periodic 1973 Revue Roumaine de Mathematiques Pures et Appliquees, xviii-9 PAILLET, Jean-Luc (autor) La methode des systemes logiquement inductifs 1393-1412