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

Services

Affiner la recherche

Mot Type Compte
of Mots du titre [4846474]
journal Mots du titre [115312]
automated Mots du titre [3630]
reasoning Mots du titre [4924]
1

Ressources électroniques 1.
Neves-Silva, Rui / 1st ed. 2015. / Springer International Publishing / 2015Résumé
Périodiques 2.
Kluwer / 2002-
Périodiques 3.
D. Reidel / 1985-