m
     
Congrès

H 0 Computer science logic :
5th workshop, CSL'91#Oct. 7-11

Borger, E. (Editeur) ; Jager, G. (Editeur) ; Kleine Buning, H. (Editeur) ; Richter, M. M. (Editeur)

Springer-Verlag

1992

427 p.

978-3-540-55789-0

00015258

68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00015258

[disponible]
Z