👤

Karl Meinke

2 books

Books by Karl Meinke

Machine Learning for Dynamic Software Analysis : Potentials and Limits
Machine Learning for Dynamic Software Analysis : Potentials and Limits
2018
Higher-order algebra, logic, and term rewriting
Higher-order algebra, logic, and term rewriting
1994