Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Broniek, Przemysław. author.
Format:
Electronic Resources
Alıntı:
Computational Complexity of Solving Equation Systems Broniek, Przemysław. author.
View Other Search Results
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague
Yazar
Olivetti, Nicola. editor.
Format:
Electronic Resources
Alıntı:
Reasoning and Mechanizing Mathematics -- First-order Logic and Proof Theory -- First-order Theorem Proving
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid
Yazar
Bonsangue, Marcello M. editor.
Format:
Electronic Resources
Alıntı:
–Coalgebraic Recursion Theory of History-Dependent Dynamical System Models.
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France
Yazar
Clerbout, Nicolas. author.
Format:
Electronic Resources
Alıntı:
Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT
Yazar
Artemov, Sergei. editor.
Format:
Electronic Resources
Alıntı:
system logics -- Logics of proof and justification -- Non-monotonic reasoning -- Logic in game theory and
Yazar
Urban, Christian. editor.
Format:
Electronic Resources
Alıntı:
Systems and Data Security.
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ış: