Ga door naar de inhoud
APA (7e ed.) Bronvermelding

Holldobler, S. (2018). An abstract dual propositional model counter. CEUR-WS.

Chicago (17e ed.) Bronvermelding

Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.

MLA (8e ed.) Bronvermelding

Holldobler, S. An Abstract Dual Propositional Model Counter. CEUR-WS, 2018.

Let op: Deze citaties zijn niet altijd 100% accuraat.