Algebra and Automated Deduction

Research output: Contribution to conference › Paper

Cite this

@conference{d3a74c76b8224dc6aca0e434e933599b,

title = "Algebra and Automated Deduction",

author = "Linton, {Stephen Alexander} and Martin, {Ursula Hilda Mary} and P Prohle and DD Shand",

note = "Proc 13th International Conference on Automated Deduction (CADE-13). Lecture Notes in Computer Science, vol 1104",

year = "1996",

language = "English",

pages = "448--462",

}