Title of article
Preface to First order theorem proving
Author/Authors
Peter Baumgartner، نويسنده , , Hantao Zhang، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2003
Pages
3
From page
1
To page
3
Journal title
Journal of Symbolic Computation
Serial Year
2003
Journal title
Journal of Symbolic Computation
Record number
805707
Link To Document