Assertion: theoretical computer science | /r/HasProperty | abstract
Facets:
value: in spirit
type: OTHER
Source sentences:
text: Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from the practical and everyday computation.