Liknande böcker

Formal Modeling and Analysis of Timed Systems
Bok
Automated Reasoning : 9th International Joint Conference, IJCAR 2018, He...
Bok av Aleksandar Zeljic
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, I...
Bok av Sujata Ghosh
Inductive Logic Programming
Bok
Frontiers of Combining Systems : 10th International Symposium, FroCoS 20...
Bok av Peter Backeman
Automated Reasoning with Analytic Tableaux and Related Methods : 26th In...
Bok av Renate A Schmidt
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Co...
Bok av Nicola Olivetti
Frontiers of Combining Systems : 11th International Symposium, FroCoS 20...
Bok av Clare Dixon

Intelligent Computer Mathematics

Bok av Michael Kohlhase