%0 Conference Paper %1 conf/cade/HasegawaKF92 %A Hasegawa, Ryuzo %A Koshimura, Miyuki %A Fujita, Hiroshi %B CADE %D 1992 %E Kapur, Deepak %I Springer %K dblp %P 776-780 %T MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. %U http://dblp.uni-trier.de/db/conf/cade/cade92.html#HasegawaKF92 %V 607 %@ 3-540-55602-8

@inproceedings{conf/cade/HasegawaKF92, added-at = {2021-11-18T00:00:00.000+0100}, author = {Hasegawa, Ryuzo and Koshimura, Miyuki and Fujita, Hiroshi}, biburl = {https://www.bibsonomy.org/bibtex/2cf9fac088ca136cf22e0e39059cd3ac1/dblp}, booktitle = {CADE}, crossref = {conf/cade/1992}, editor = {Kapur, Deepak}, ee = {https://doi.org/10.1007/3-540-55602-8_223}, interhash = {7673c8525cf764e87f2ce45a12453c86}, intrahash = {cf9fac088ca136cf22e0e39059cd3ac1}, isbn = {3-540-55602-8}, keywords = {dblp}, pages = {776-780}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:18:05.000+0200}, title = {MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade92.html#HasegawaKF92}, volume = 607, year = 1992 }