m
     
Congrès

H 0 Logic, algebra, and computer science
Conference of a mini-semester on ...
dec. 2-22

Niwinski, Damian (Editeur) ; Zawadowski, Marek (Editeur)

Institute Of Mathematics;Polish Academy of Sciences

1999

00022975

00B30 ; 03-06

algèbre de calcul # groupe de Lie # informatique théorique # logique mathématique # logique modale # renormalisation # structure de rafinement d'algèbre # théorie de la preuve # unification

Ville d'édition : Warsaw

Pays d'édition : Pologne

Langue : Anglais

Collation : 225 p. 24 cm broch. ; Bibliogr.

Collection : Banach center publications

N° de collection : 0046

Localisation : Salle des périodiques 1er étage

Année de la rencontre : 1996

Ville du congrès : Warsaw

Pays du congrès : Pologne

Type Congrès : Congrès

Disponibilité : empruntable


Exemplaires

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