APA (7th ed.) Citation

Gurres, H. (2001). Automatisches Beweisen mit disjunktiven Beweisverfahren.

Chicago Style (17th ed.) Citation

Gurres, Harald. Automatisches Beweisen Mit Disjunktiven Beweisverfahren. 2001.

MLA (9th ed.) Citation

Gurres, Harald. Automatisches Beweisen Mit Disjunktiven Beweisverfahren. 2001.

Warning: These citations may not always be 100% accurate.