APA (7th ed.) Citation

(1999). Computational logic: [proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997]. Springer.

Chicago Style (17th ed.) Citation

Computational Logic: [proceedings of the NATO Advanced Study Institute on Computational Logic, Held in Marktoberdorf, Germany, July 29 - August 10, 1997]. Berlin [u.a.]: Springer, 1999.

MLA (9th ed.) Citation

Computational Logic: [proceedings of the NATO Advanced Study Institute on Computational Logic, Held in Marktoberdorf, Germany, July 29 - August 10, 1997]. Springer, 1999.