MGTP: A model generation theorem prover-its advanced features and applications

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Fingerprint Dive into the research topics of 'MGTP: A model generation theorem prover-its advanced features and applications'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science