m
     
Congrès

H 0 Theorem proving with analytic tableaux and related methods
workshop on theorem proving with analytic tableaux and related methods, Marseille, France, April 28-30, 1993

Basin, David (Editeur) ; Fronhöfer, Bertram (Editeur) ; Hähnle, Reiner (Editeur)

Im Stadtwald W6600 Saarbrücken

1993

00017408

03-06 ; 03Bxx ; 03Fxx

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

Responsable Collectivité : Max-Planck-Institut für informatik

Ville d'édition : Saarbrücken

Pays d'édition : Allemagne RDA

Langue : Anglais

Collation : 250 p. ; 30 cm ; Bibliogr. ; broch. ; fig.

Localisation : Colloque 1er étage (MARS)

Nom de la rencontre : Theorem proving with analytic tableaux and related methods

Année de la rencontre : 1993

Ville du congrès : Marseille

Pays du congrès : France

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 C/MARS/1993 00017408 [disponible]
Z