Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Economics
Social Sciences
Birmingham Business School
Postal address
United Kingdom
Overview
Fingerprint
Network
Profiles
(71)
Research output
(1813)
Projects
(139)
Activities
(33)
Prizes
(13)
Press/Media
(17)
Research output
Research output per year
1980
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
1231
Article
171
Chapter
128
Working paper
37
Commissioned report
246
More
35
Book
35
Paper
26
Abstract
20
Other contribution
19
Book/Film/Article review
15
Conference contribution
15
Editorial
14
Chapter (peer-reviewed)
14
Review article
9
Preprint
8
Comment/debate
8
Discussion paper
6
Web publication/site
5
Other report
3
Entry for encyclopedia/dictionary
3
Letter
2
Other
2
Software
2
Doctoral Thesis
1
Anthology
1
Scholarly edition
1
Other chapter contribution
1
Poster
1
Data set/Database
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Data set/Database
Search results
2015
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%