Systèmes formels : introduction à la logique et à la théorie des langages / Claude Benzaken,... [ Livre]

Auteur principal: Benzaken, ClaudeLangue: 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 propositionnel
Current 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

Powered by Koha