C

Carl-Johan H. Seger

1 books found

Books by Carl-Johan H. Seger
Higher order logic theorem proving and its applicationsCarl-Johan H. Seger
⏱ 8h 38m

Higher order logic theorem proving and its applications

Carl-Johan H. Seger

1994518 pp.