Login / Signup

Two-variable Logic with Counting and a Linear Order.

Witold CharatonikPiotr Witkowski
Published in: Log. Methods Comput. Sci. (2016)
Keyphrases
  • neural network
  • case study
  • sufficient conditions
  • machine learning
  • information systems