Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 kohlhase1994mechanization
%A Kohlhase, Michael
%D 1994
%K
%T A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle
@phdthesis{kohlhase1994mechanization,
added-at = {2023-12-14T15:05:51.000+0100},
author = {Kohlhase, Michael},
biburl = {https://www.bibsonomy.org/bibtex/215c0cfcf722c270e5368b62ad7fd783b/admin},
dnbtitleid = {1027386598},
interhash = {e726b2caac515813876db5f7724564be},
intrahash = {15c0cfcf722c270e5368b62ad7fd783b},
keywords = {},
school = {Uni Saarbrücken},
timestamp = {2023-12-14T15:05:51.000+0100},
title = {A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle},
year = 1994
}