Login / Signup
Herleitung schärferer Ungleichungen für Terminierungsbeweise logischer Programme.
Gerhard Gröger
Published in:
WLP (1993)
Keyphrases
</>
distance learning
case study
data mining
decision support system
social networks
higher education