Yazar
Rossi, Federico. editor.
Format:
Electronic Resources
Alıntı:
System theory.
Yazar
Pizzuti, Clara. editor.
Format:
Electronic Resources
Alıntı:
System theory.
View Other Search Results
Yazar
Kotsireas, Ilias S. editor.
Format:
Electronic Resources
Alıntı:
knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Demri, Stéphane. editor.
Format:
Electronic Resources
Alıntı:
-- Implementing Tableau Calculi Using BDDs: BDDTab System Description -- Approximations for Model Construction