m
MathOuvrage

H 0 The Logical basis for computer programming. Vol. 2

Manna, Zohar ; Waldinger, R.

Addison-Wesley

1990

xiii, 642

28450

programmation ; logique symbolique ; logique mathématique


Exemplaires

Nbre d'exemplaires : 1
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

Z