Edinburgh Research Explorer

Strict General Setting for Building Decision Procedures into Theorem Provers

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Strict General Setting for Building Decision Procedures into Theorem Provers. / Janicic, Predrag; Bundy, Alan.

The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) --- Short Papers. Universita degli Studi di Siena, Italia, 2001. p. 86-95.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Janicic, P & Bundy, A 2001, Strict General Setting for Building Decision Procedures into Theorem Provers. in The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) --- Short Papers. Universita degli Studi di Siena, Italia, pp. 86-95.

APA

Janicic, P., & Bundy, A. (2001). Strict General Setting for Building Decision Procedures into Theorem Provers. In The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) --- Short Papers (pp. 86-95). Universita degli Studi di Siena, Italia.

Vancouver

Janicic P, Bundy A. Strict General Setting for Building Decision Procedures into Theorem Provers. In The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) --- Short Papers. Universita degli Studi di Siena, Italia. 2001. p. 86-95.

Author

Janicic, Predrag ; Bundy, Alan. / Strict General Setting for Building Decision Procedures into Theorem Provers. The 1st International Joint Conference on Automated Reasoning (IJCAR-2001) --- Short Papers. Universita degli Studi di Siena, Italia, 2001. pp. 86-95