Higher order logic theorem proving and its applicationsCarl-Johan H. Seger, Jeffrey J. Joyce · First published 1994Open the Tome
The Collected Writings of Hermann August Seger...Hermann August Seger · First published 1902Open the Tome
Sechste Kongress des Deutschen Schachbundes, Breslau 1889H. v. Gottschall, J. Metger, H. Seger · First published 1891Open the Tome
Die technische Verwerthung Schwefelkies führender Schiefer und Thone der Stein- und BraunkohlenformationHermann August Seger · First published 1869Open the Tome
Johannis Segeri Weidenfeld De secretis adeptorum, sive De usu spiritus vini Lulliani libri IVJohann Seger Weidenfeld · First published 1684Open the Tome
