H The Logical basis for computer programming. Vol. 2
1990
xiii, 642
28450
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 28450 | 1016507 | GALERIE |
Sous-titre : deductive systems
ISBN10 : 0-201-18261-0
Type de doc : M
Ville d'édition : Reading
Langue ouvrage : eng
Collection : Addison-wesley series in computer science
Class. Math. 1991 : 68-02
Lien SUDOC : https://www.sudoc.fr/008489548