Liknande böcker

Intelligent Computer Mathematics
Bok av Michael Kohlhase
Recent Trends in Algebraic Development Techniques : 22nd International W...
Bok av Mihai Codescu
Membrane Computing : 12th International Conference, CMC 2011, Fontainebl...
Bok av Marian. Gheorghe
Automated Reasoning with Analytic Tableaux and Related Methods : 26th In...
Bok av Renate A Schmidt
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, He...
Bok av Aleksandar Zeljic
Formal Methods: Foundations and Applications : 18th Brazilian Symposium,...
Bok av Marcio Cornelio
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, I...
Bok av Sujata Ghosh
Formal Aspects of Component Software : 14th International Conference, FA...
Bok

Recent Trends in Algebraic Development Techniques

Bok av Phillip James