Systèmes formels : introduction à la logique et à la théorie des langages / Claude Benzaken,... [ Livre]
Langue: Français.Publication : Paris, Milan, Barcelone : Masson, 1991Description : IX-166 p. ; 24 cmISBN: 222582567X.Collection: Logique mathématiques informatique, 0995-2179, 6Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Programmation logique | Logique symbolique et mathématique | Logique | Langages formels | Informatique | Décidabilité (logique mathématique) | Calcul propositionnelCurrent location | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|
ENS Rennes - Bibliothèque Informatique | F 4 1 BEN (Browse shelf) | Available | F 4 1 Logique mathématique | 00001315 |
Bibliogr. p. 163. Index