Open AccessConsistency checks of grand unified theories
Author(s) -
Ugo Amaldo,
W. De Boer,
Paul H. Frampton,
H. Fürstenau,
James T. Liu
Publication year - 1992
Publication title -
carolina digital repository (university of north carolina at chapel hill)
Language(s) - English
DOI - 10.17615/awbp-q878
Subject(s) - consistency (knowledge bases) , computer science , mathematics , artificial intelligence