• Livre

Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier

Recherche de la disponibilité
Titre
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
Auteur
Editeur
Cambridge ; Philadelphia [etc.] : Harper & Row
Date
[1986]
Collation
XV, 511 p. ; 24 cm
Collection
Computer science and technology series ; 5
Documents dans cette collection
Sujet RERO
Classification
Identifiant
0060422254 (ISBN)
No RERO
0946333
Permalien
http://data.rero.ch/01-0946333/html?view=FR_V1
Plus…
Chargement
Erreur de chargement