Decision procedures [ Livre] : an algorithmic point of view / Daniel, Kroening / Ofer, Strichman

Auteur principal: Kroening, DanielCo-auteur: Strichman, Ofer;Bryant, Randal E.Langue: Français.Publication : Berlin : Springer, 2008Description : 1 vol. (XVI-304 p.) ; 24 cmISBN: 3540741046; 9783540741046.Collection: Texts in Theoretical Computer Science, 1862-4499Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Algorithmes | Logique symbolique et mathématique
Current location Call number Status Notes Date due Barcode
ENS Rennes - Bibliothèque
Informatique
F 4 1 KRO (Browse shelf) Available F 4 1 Logique mathématique 029678
ENS Rennes - Bibliothèque
Informatique
F 4 1 KRO (Browse shelf) Exclu du prêt F 4 1 Logique mathématique 029677
ENS Rennes - Bibliothèque
Informatique
F 4 1 KRO (Browse shelf) Available F 4 1 Logique mathématique 016952

Bibliogr. p.285-297. Index

Powered by Koha