I agree that this site is using cookies. You can find further informations here.
X
Tate, Joshua
4  results:
Bookchapter (Online) X
Search for persons X
?
1

Promoting a Common Testbed for Natural Deduction Tutoring S..:

, In: Proceedings of the 2022 6th International Conference on Education and E-Learning,
Crotts, Larry Joshua ; Tate, Stephen - p. 1-6 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Comparison of Natural Deduction Theorem Provers used in Ele..:

, In: Proceedings of the 2022 6th International Conference on Education and E-Learning,
Crotts, Larry Joshua ; Tate, Stephen - p. 43-49 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Continuously-Operating Repetitively-Pulsed RMF-FRC Thruster..:

, In: 2021 IEEE International Conference on Plasma Science (ICOPS),
Miller, Kenneth E. ; Prager, James ; Henson, Alex... - p. 1-1 , 2021
Link: https://doi.org/10.1109/..
 
?
4

CONTRIBUTORS:

, In: Evidence-Based Adjunctive Treatments,
Adams, Amanda ; Avina, Claudia ; Budman, Simon H.... - p. XV-XVI , 2008
Link: https://doi.org/10.1016/..
 
1-4