Hurd, J., & Melham, T. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.
Style de citation ChicagoHurd, Joe, et Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
Style de citation MLAHurd, Joe, et Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
Attention : ces citations peuvent ne pas être correctes à 100%.