Sign In

Login

Password

Forgot Password ? Sign Up

International Workshop on First-Order Theorem Proving (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "International Workshop on First-Order Theorem Proving" in English language version.

refsWebsite
Global rank English rank
1archive.org
6th place
6th place
1doi.org
2nd place
2nd place
1loc.gov
70th place
63rd place
1openlibrary.org
325th place
255th place

archive.org

  • Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias, eds. (18–22 June 2001). "Foreword". Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, 2001. Berlin: Springer. doi:10.1007/3-540-45744-5. ISBN 978-3-540-45744-2. LCCN 2001041144. OL 9869085M.

doi.org

  • Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias, eds. (18–22 June 2001). "Foreword". Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, 2001. Berlin: Springer. doi:10.1007/3-540-45744-5. ISBN 978-3-540-45744-2. LCCN 2001041144. OL 9869085M.

loc.gov

lccn.loc.gov

  • Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias, eds. (18–22 June 2001). "Foreword". Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, 2001. Berlin: Springer. doi:10.1007/3-540-45744-5. ISBN 978-3-540-45744-2. LCCN 2001041144. OL 9869085M.

openlibrary.org

  • Goré, Rajeev; Leitsch, Alexander; Nipkow, Tobias, eds. (18–22 June 2001). "Foreword". Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR), Siena, Italy, 2001. Berlin: Springer. doi:10.1007/3-540-45744-5. ISBN 978-3-540-45744-2. LCCN 2001041144. OL 9869085M.