Watson

swMATH25432MaRDI QIDQ37171FDOQ37171

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1023%2FA%3A1010652212067

Described by source

• The Watson theorem prover

This page was built for software: Watson