Proving properties of binary classification neural networks via Łukasiewicz logic

• Author(s): Finger, Marcelo
• Date: 2022
• Origin: Oasisbr
• Subject(s): LÓGICA MATEMÁTICA
• Document Type: Journal article
• Language: English