Advances of Proof Scores in CafeOBJ : Invited Paper.

Kokichi Futatsugi

Published in: TASE (2021)

Keyphrases

invited paper
artificial intelligence
lecture notes
recent advances
information retrieval
theorem proving
linear logic
machine learning
computer science
data analysis
online learning
scoring functions
scoring methods