Login / Signup
Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-Quantor.
Heinrich Herre
Helmut Wolter
Published in:
Math. Log. Q. (1979)
Keyphrases
</>
test set
massachusetts institute of technology
image processing
image data
machine learning
gray scale
video content