trier par
Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Decidable Theories I | 3 résultat(s)

Services

Affiner la recherche

Mot Type Compte
i Mots du titre [580751]
decidable Mots du titre [107]
theories Mots du titre [15378]
1

Ressources électroniques 1.
International Conference on Logic Programming (25th ; Pasadena, Calif., USA ; 2009) / 2009Résumé
Ressources électroniques 2.
2007Résumé
Ressources électroniques 3.
1st ed. 2010. / 2010Résumé