Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Ben-Ari, Mordechai
2012.
Mathematical Logic for Computer Science.
p.
49.
Ammar, Reda
and
Smith, Therese
2013.
Developing time constraints in Petri net models of biochemical processes via computation structure modeling.
p.
000034.
Abramson, Myriam
2013.
Review of resources for teaching discrete mathematics.
ACM SIGACT News,
Vol. 44,
Issue. 4,
p.
31.
Khalil, Muhammad I.
Berber, Stevan. M.
and
Sowerby, Kevin W.
2014.
Energy-efficient design for combined relay selection and power allocation AF-relay network.
p.
417.
Elizarov, A. M.
Kirillovich, A. V.
Lipachev, E. K.
Nevzorova, O. A.
Solovyev, V. D.
and
Zhiltsov, N. G.
2014.
Mathematical knowledge representation: semantic models and formalisms.
Lobachevskii Journal of Mathematics,
Vol. 35,
Issue. 4,
p.
348.
Nowlan, Robert A.
2017.
Masters of Mathematics.
p.
599.
Demiray, Esra
and
Işıksal Bostan, Mine
2017.
An Investigation of Pre-service Middle School Mathematics Teachers’ Ability to Conduct Valid Proofs, Methods Used, and Reasons for Invalid Arguments.
International Journal of Science and Mathematics Education,
Vol. 15,
Issue. 1,
p.
109.
Pourciau, Bruce
2018.
Words to Argue By.
PRIMUS,
Vol. 28,
Issue. 2,
p.
143.
2019.
Fundamentals of Supply Chain Theory.
p.
681.
Glosauer, Tobias
2019.
(Hoch)Schulmathematik.
p.
19.
Glosauer, Tobias
2019.
(Hoch)Schulmathematik.
p.
37.
Glosauer, Tobias
2019.
(Hoch)Schulmathematik.
p.
3.
Miranda-Perea, Favio E
González Huesca, Lourdes del Carmen
and
Linares-Arévalo, P Selene
2020.
Interactive proof-search for equational reasoning.
Logic Journal of the IGPL,
Kaschek, Roland
2020.
Supporting Individual Study of Higher Mathematics.
p.
1.
Durand-Guerrier, Viviane
2022.
Practice-Oriented Research in Tertiary Mathematics Education.
p.
225.
HAMAMI, YACIN
2022.
MATHEMATICAL RIGOR AND PROOF.
The Review of Symbolic Logic,
Vol. 15,
Issue. 2,
p.
409.
Dawkins, Paul Christian
Zazkis, Dov
and
Cook, John Paul
2022.
How Do Transition to Proof Textbooks Relate Logic, Proof Techniques, and Sets?.
PRIMUS,
Vol. 32,
Issue. 1,
p.
14.
Rodler, Patrick
2022.
A formal proof and simple explanation of the QuickXplain algorithm.
Artificial Intelligence Review,
Vol. 55,
Issue. 8,
p.
6185.
E. Miranda-Perea, Favio
and
Huesca, Lourdes del Carmen González
2022.
Philosophy of Computing.
Vol. 143,
Issue. ,
p.
73.
TATTON-BROWN, OLIVER
2023.
RIGOUR AND PROOF.
The Review of Symbolic Logic,
Vol. 16,
Issue. 2,
p.
480.