Yazar
O’Regan, Gerard. author.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction
View Other Search Results
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.