m
     
MathCongrès

H 0 Conditional term rewriting systems

H

Kaplan, S. (Ed.) ; Jouannaud, Jean-Pierre (Ed.)

Springer

1988

vi, 278

27556

réécriture ; déduction ; programmation

https://link.springer.com/book/10.1007/3-540-19242-5


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 27556 1025322 PROC 16S CON

ISBN10 : 3-540-19242-5

Type de doc : C

Ville d'édition : Berlin

Langue ouvrage : eng

Collection : Lecture notes in computer science

N° dans la collection : 308

ISSN Collection : 0302-9743

Class. Math. 1991 : 16S15

Numéro congres : 1

Ville du congrès : Orsay

Pays congres : fr

Année du congres : 1987

Class. informatique : D.2.6 ; D.3.3 ; F.4.2 ; I.2.3

ISBN supp. : 0-387-19242-5

Lien SUDOC : https://www.sudoc.fr/020751362

Z