STIRDAT

STIRDAT: A system tightly integrating relational databases and a theorem prover

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Rao, L.; Reichgelt, H.: STIRDAT: A system tightly integrating relational databases and a theorem prover (2000)