Research output per year
Research output per year
Search results
-
2019
Automating Automated Reasoning: The Case of Two Generic Automated Reasoning Tools
Zohar, Y., Tishkovsky, D., Schmidt, R. A. & Zamansky, A., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 610-638 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11560 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review