m
     
MathOuvrage

H 0 Logic for computer scientists

H

Schoening, Uwe

Birkhäuser

1989

166

29188

logique symbolique ; logique mathématique ; programmation logique

http://link.springer.com/book/10.1007/978-0-8176-4763-6


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 29188 1020340 GALERIE

ISBN10 : 3-7643-3453-3

Type de doc : M

Ville d'édition : Basel

Langue ouvrage : eng

Collection : Progress in computer science and applied logic

N° dans la collection : 008

ISSN Collection : 2297-0576

Class. Math. 1991 : 03B70

ISBN supp. : 0-8176-3453-3

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

Z