PRV

PRV-Beweisprogramm: An early theorem prover written in SNOBOL.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 1 article )

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

  1. Bibel, Wolfgang: Automated theorem proving. (1987)