Htp-Complete Rings of rational numbers.

Russell G. Miller

Published in: J. Symb. Log. (2022)

Keyphrases

decision making
database
knowledge base
object recognition
computer science
control system
inference rules