Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

หนังสือที่แต่งโดย Fitting, Melvin. author

3 Results

No.TitlePublished
1First-Order Modal Logic [electronic resource]1998
2First-Order Logic and Automated Theorem Proving [electronic resource]1996
3First-Order Logic and Automated Theorem Proving [electronic resource]1990