On Farkas' lemma and related propositions in BISH.

Josef Berger Gregor Svindland

Published in: Ann. Pure Appl. Log. (2022)

Keyphrases

closely related
expert systems
information technology
neural network
case study
reinforcement learning
pattern recognition
digital libraries