LogiMOO Software Authors: Tarau, Paul; De Bosschere, Koen; Dahl, Veronica; Rochefort, Stephen Cited in: 8 Publications (1997–2012) Related Software: Oz; SICStus; Prolog; Mozart Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
MPTP 0.2 Software Authors: Urban, Josef Cited in: 51 Publications (2006–2021) Related Software: Mizar; E Theorem Prover; VAMPIRE; TPTP; MaLARea; Isabelle/HOL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)