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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom