Review
Neural Networks into Łukasiewicz Logic, with Applications to Formal Verification
· 0 citations
· 19 references