algorithme non numérique # complexité # formalisme # intelligence artificiel # langage formel # logique mathématique # méthode # procédure de preuve # représentation de connaissance # théorie de preuve

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

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540633853

ISBN : 3-540-63385-5

Collation : 24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 1289

Localisation : Collection 1er étage

Numéro de congrès : 5

Année de la rencontre : 1997

Ville du congrès : Vienna

Pays du congrès : Autriche

Code ACM : F.2.2 ; F.4 ; I.2.3 ; I.2.4

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires