m

F Nous contacter

0
     
Congrès

H 0 Symposium on automatic demonstration
Dec.

Lacombe, D. (Editeur) ; Laudet, M. (Editeur) ; Nolin, L. (Editeur) ; Schützenberger, M. (Editeur)

Springer-Verlag

1970

00020254

03-06 ; 03F03 ; 03F50 ; 03Fxx ; 18C10

axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve automatique # système d'axiome en preuve de théorème automatique # théorie de la preuve # théorie de la résolution # théorème de complétude de Herbrand # validité constructive

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RFA

Langue : Anglais

Collation : 26 cm ; 310 p. ; Bibliogr. ; errata ; rel.

Collection : Lecture notes in mathematics

N° de collection : 0125

Localisation : Collection 1er étage

Notes : 3 volumes reliés ensemble vol. 20252 à vol. 20254

Année de la rencontre : 1968

Ville du congrès : Versailles

Pays du congrès : France

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00020254 [disponible]
Z