Yazar
Schultz, Patrick. author.
Format:
Electronic Resources
Alıntı:
Systems Theory, Control. https://scigraph.springernature.com/ontologies/product-market-codes/M13070
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
View Other Search Results
Yazar
Cheng, Yong. author.
Format:
Electronic Resources
Alıntı:
provable in second order arithmetic. The book also examines what is the minimal system in higher order
Yazar
Broniek, Przemysław. author.
Format:
Electronic Resources
Alıntı:
Computational Complexity of Solving Equation Systems Broniek, Przemysław. author.
Yazar
Gorrieri, Roberto. author.
Format:
Electronic Resources
Alıntı:
Introduction to Concurrency Theory Transition Systems and CCS / Gorrieri, Roberto. author.
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
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 10th International Conference, LATA 2016, Prague
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
Clerbout, Nicolas. author.
Format:
Electronic Resources
Alıntı:
Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France
Arama Sonuçlarını Sınırlandır
Daraltılmış: