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

Services

Affiner la recherche

Mot Type Compte
logics Mots du titre [1593]
nonstandard Mots du titre [422]
automated Mots du titre [3630]
reasoning Mots du titre [4924]
for Mots du titre [699170]
1

Ressources électroniques 1.
Springer Berlin Heidelberg / 2005Résumé
Livres 2.
Academic Press / cop. 1988
Livres 3.
Chatalic, Philippe (1961-....) / Laboratoire des Langages et systèmes informatiques / 1987