Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Zhou, Yuli
and
Muller, Robert
1990.
Algebraic and Logic Programming.
Vol. 463,
Issue. ,
p.
144.
West, Margaret M.
and
Eaglestone, Barry M.
1992.
Software development: two approaches to animation of Z specifications using prolog.
Software Engineering Journal,
Vol. 7,
Issue. 4,
p.
264.
Noel, P. A. J.
1993.
Experimenting with Isabelle in ZF set theory.
Journal of Automated Reasoning,
Vol. 10,
Issue. 1,
p.
15.
Dennis, Louise A.
and
Smaill, Alan
2001.
Theorem Proving in Higher Order Logics.
Vol. 2152,
Issue. ,
p.
185.
Kmiec, Slawomir
and
Lespérance, Yves
2014.
Engineering Multi-Agent Systems.
Vol. 8758,
Issue. ,
p.
271.
Dasgupta, Abhijit
2014.
Set Theory.
p.
369.
Romero Félix, César Fabián
and
Esquer Armenta, Román Gpe
2021.
Construcción de función como relacióna entre magnitudes variables: diseño de enseñanza desde la Teoría de APOE.
SAHUARUS. REVISTA ELECTRÓNICA DE MATEMÁTICAS. ISSN: 2448-5365,
Vol. 5,
Issue. 1,
Fernández Cuesta, José Alejandro
2023.
¿Existen las máquinas acelerantes de Turing?.
TECHNO REVIEW. International Technology, Science and Society Review /Revista Internacional de Tecnología, Ciencia y Sociedad,
Vol. 13,
Issue. 1,
p.
49.