m

Documents  Fronhöfer, Bertram | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Colloque 1er étage (MARS)

algorithme pour tableau pour calcul propositionnel intuition # circonscription et modèles minimaux pour logique proportionn # méthode de recherche de la preuve en logique linéaire # preuve de théorème # preuve de théorème par élimination de modèles # tableau analytique # tableau pour logique modale propositionnelle de non-monotoni # tableaux clausaux avec liens et lemmes # élagage de l'espace de recherche en faisant échec à la crois

03-06 ; 03Bxx ; 03Fxx

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z