Jeffrey J. Joyce

ספרים שבהם Jeffrey J. Joyce מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Higher order logic theorem proving and its applicationsCarl-Johan H. Seger

Higher order logic theorem proving and its applications

Carl-Johan H. Seger · 1994