Results 301 to 310 of about 50,582 (340)
Some of the next articles are maybe not open access.
The automation of proof: a historical and sociological exploration
IEEE Annals of the History of Computing, 1995This paper reviews the history of the use of computers to automate mathematical proofs. It identifies three broad strands of work: automatic theorem proving where the aim is to simulate human processes of deduction; automatic theorem proving where any resemblance to how humans deduce is considered to be irrelevant; and interactive theorem proving ...
openaire +1 more source
The Future of Historical Consciousness in Sociology
American Sociologist, The, 2023Anthony Albanese
exaly
Historical Sociology and Sociological History
2019Mattei Dogan, Robert Pahre
openaire +1 more source
International Journal of Politics, Culture and Society, 2009
George Steinmetz, Steinmetz George
exaly
George Steinmetz, Steinmetz George
exaly
Historical sociology in Japan: Rebalancing between the social sciences and humanities
International Sociology, 2021exaly
Public relations and historical sociology: Historiography as reflexive critique
Public Relations Review, 2014Jacquie L'Etang
exaly

