by Kovács, Z., Recio, T., Sólyom-Gecse, C.
Published in Annals of mathematics and artificial intelligence (01.04.2019)

by Chlipala, Adam
Year of Publication 2013

by Fitting, Melvin
Year of Publication 2012

by LPAR, Clarke, Edmund, Voronkov, A. (Andreĭ)
Year of Publication 2010

by Zenil, Hector
Year of Publication 04.01.2012

by Zenil, Hector
Published in Computation, Physics and Beyond (2012)

by Zenil, Hector
Published in arXiv.org (04.01.2012)

by Stump, Aaron, Löchner, Bernd
Published in Information processing letters (15.06.2006)

Year of Publication 2010

by Fitting, Melvin
Year of Publication 1996

by Hayes, Patrick J
Year of Publication 1973

by Sangwin, Christopher J., O'Toole, Claire
Published in International journal of mathematical education in science and technology (02.11.2017)

by Zhora, Victor, Synetskyi, Oleksandr
Published in Technology audit and production reserves (Online) (30.04.2021)

by ZHOU XUNWEI
Year of Publication 29.10.2024

by Bruell, Jan H.
Published in Contemporary psychology (01.03.1983)