Login / Signup

A proper subsystem of S4.O4..

Boleslaw Sobocinski
Published in: Notre Dame J. Formal Log. (1971)
Keyphrases
  • cost function
  • wavelet transform