gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme

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

Pays d'édition : France

Langue : Anglais

EAN13 : 9783540557890

ISBN : 3-540-55789-X

Collation : 24 cm#broch. ; Bibliogr.

Collection : Lecture notes in computer science

N° de collection : 0626

Localisation : Collection 1er étage

Numéro de congrès : 5

Année de la rencontre : 1991

Ville du congrès : Berne

Pays du congrès : Suisse

Code ACM : D.3 ; F ; G.2 ; H.2.1 ; I.1

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires