PROTEIN: A PROver with a Theory Extension INterface.

Peter Baumgartner Ulrich Furbach

Published in: CADE (1994)

Keyphrases

search algorithm
computational model
theoretical framework
theorem proving
general theory
mass spectrometry
protein sequences
protein structure
theoretical basis
protein protein interactions
sequence alignment
subcellular localization