×

Found 2 Software Packages (Results 1–2)

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)

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)