lolliCoP

swMATH1476MaRDI QIDQ14212FDOQ14212

Author name not available (Why is that?)

Official website: http://bach.istc.kobe-u.ac.jp/llp/lollicop/

Cited In (5)

• Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
• Hilberticus
• STRIP
• MODPROF
• PRIZ

This page was built for software: lolliCoP