Sign in
An S4 extension of the λμμ-calculus.
Yosuke Fukuda
Published in:
J. Inf. Process. (2023)
Keyphrases
</>
decision making
neural network
information retrieval
data structure
logic programming
automated deduction