This VIAF Cluster has been deleted. It is no longer part of VIAF.
Bibel, Wolfgang. | Automated theorem proving
VIAF ID: 314080870 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314080870
Preferred Forms
Selected Titles
Author
:
Bibel, Wolfgang.