Computer Science

Research output

Research output per year 1988 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2014 2015 2016 2017 2018 2019 2020 2021 2022

• 1714 Article
• 1211 Paper
• 1178 Conference contribution
• 199 Chapter
• 585 More
  • 102 Working paper
  • 93 Book
  • 64 Commissioned report
  • 64 Abstract
  • 41 Web publication/site
  • 38 Editorial
  • 33 Other contribution
  • 31 Chapter (peer-reviewed)
  • 18 Software
  • 16 Conference article
  • 14 Preprint
  • 10 Other chapter contribution
  • 10 Poster
  • 10 Patent
  • 8 Review article
  • 5 Other
  • 5 Comment/debate
  • 5 Doctoral Thesis
  • 3 Other report
  • 3 Special issue
  • 2 Foreword/postscript
  • 2 Book/Film/Article review
  • 2 Master's Thesis
  • 1 Anthology
  • 1 Letter
  • 1 Short survey
  • 1 Data set/Database
  • 1 Exhibition
  • 1 Discussion paper

Research output per year

Research output per year

Search results

• Data set/Database

  Problem set for first order theorem provers in the TPTP format

  Caminati, M. B., Kerber, M. & Rowat, C., 16 Jun 2015

  Research output: Non-textual form › Data set/Database

  • Labels 100%