Logic and computation as combinatorics.

Norihiro Yamada

Published in: CoRR (2023)

Keyphrases

classical logic
data sets
information retrieval
data model
knowledge representation
logic programming
graph theory
parallel computation
predicate logic
proof theory