Fitting, Melvin Chris   (1942)

この人物の情報

人物別名 Melvin Chris Fitting

Fitting, Malvin

Fitting, Melvin

Fitting, M.

Fitting, M. C.
生年 1942年
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
計算理論と論理プログラミング Melvin Fitting 著 ; 山崎秀記 ほか共訳 丸善
1989.8
Justification logic : reasoning with reasons Sergei Artemov, Melvin Fitting Cambridge University Press
2019
Set theory and the continuum problem Raymond M. Smullyan, Melvin Fitting Dover
c2010
Beyond two : theory and applications of multiple valued logic Melvin Fitting, Ewa Orłowska, editors Physica
c2003
Types, tableaus, and Gödel's god Melvin Fitting Kluwer Academic
c2002
First-order modal logic Melvin Fitting and Richard L. Mendelsohn Kluwer Academic
c1999
First-order modal logic Melvin Fitting and Richard L. Mendelsohn Kluwer Academic
c1998
First-order logic and automated theorem proving Melvin Fitting Springer-Verlag
c1996
Set theory and the continuum problem Raymond M. Smullyan and Melvin Fitting Clarendon Press
Oxford University Press
1996
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想