David Basin, B. W. Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Springer.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Chicago (17e ed.) Bronvermelding
David Basin, Burkhart Wolff. Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Berlín, Alemania: Springer.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
MLA (9e ed.) Bronvermelding
David Basin, Burkhart Wolff. Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Springer.
Met succes gekopieerd naar Clipboard
Kopiëren naar Clipboard is mislukt
Let op: Deze citaties zijn niet altijd 100% accuraat.