Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
Management of Computing and Information Systems.
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
View Other Search Results
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
-- Parallel Bounded Verification of Alloy Models by TranScoping -- Extending the Theory of Arrays: memset
Arama Sonuçlarını Sınırlandır
Daraltılmış: