The constructions of complete contradiction based on propositional logic

von Tang, Leiming
Veröffentlicht in International FLINS Conference (14. : Köln : 2020) Developments of artificial intelligence technologies in computation and robotics (2020)