SInE

swMATH16026MaRDI QIDQ27898FDOQ27898

Author name not available (Why is that?)

Official website: http://www.cs.man.ac.uk/~hoderk/sine/

Cited In (1)

• Sine qua non for large theory reasoning

This page was built for software: SInE