m

F Nous contacter

0
     
Congrès

H 0 Automated theorem proving :
Proceedings of the special session on automatic theorem proving 89th annual meeting of the ams#Jan. 5-9

Bledsoe, W. W. (Editeur) ; Loveland, D. W. (Editeur)

American Mathematical Society

1984

360 p.

978-0-8218-5027-5

00015492

03B35 ; 03Bxx ; 68-XX ; 68T15 ; 68Txx

démonstration automatique de théorème # informatique # intelligence artificielle # logique générale # logique mathématique # mécanisation des preuves

Ville d'édition : Providence ; R. I.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780821850275

ISBN : 0-8218-5027-X

Collation : Bibliogr. ; ix#fig.#appendix#25 cm#broch.

Collection : Contemporary mathematics

N° de collection : 0029

Localisation : Collection 1er étage

Année de la rencontre : 1983

Ville du congrès : Denver

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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