Yazar
Klein, Shmuel Tomi. editor. (orcid)0000-0002-9478-3303
Format:
Electronic Resources
Alıntı:
Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905
Format:
Electronic Resources
Alıntı:
System Performance and Evaluation. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Yazar
Galmiche, Didier. editor.
Format:
Electronic Resources
Alıntı:
-- Efficient Interpolation for the Theory of Arrays -- ATPboost: Learning Premise Selection in Binary Setting
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005
Yazar
Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025
Format:
Electronic Resources
Alıntı:
Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005