Konrad Slind, A. B. Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Springer.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Chicago (17e ed.) Bronvermelding
Konrad Slind, Annette Bunker. Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Berlín, Alemania: Springer.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
MLA (9e ed.) Bronvermelding
Konrad Slind, Annette Bunker. Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Springer.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Let op: Deze citaties zijn niet altijd 100% accuraat.