Hurd, J., & Melham, T. (2020). Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg.
Trích dẫn kiểu ChicagoHurd, Joe, và Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
Deismireacht MLAHurd, Joe, và Tom Melham. Theorem Proving in Higher Order Logics. Springer Berlin Heidelberg, 2020.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.