5th conference on automated deduction#July 8-11
démonstration automatique # intelligence artificielle # logique # théorie
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9783540100096
ISBN : 3-540-10009-1
Collation : Bibliogr. ; vii#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0087
Localisation : Collection 1er étage
Année de la rencontre : 1980
Ville du congrès : Les arcs
Pays du congrès : France
Code ACM : I.2.3
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00012095 | [disponible] |