The Collection of
Computer Science Bibliographies

Bibliography on Automated Deduction and its Applications

[   About   |  Browse   |   Statistics   ]

Number of references:2178Last update:November 16, 2010
Number of online publications:0Supported:yes
Most recent reference:2011

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

Author:
Reiner Hähnle <reiner @ chalmers . se> (email mangled to prevent spamming)
Chalmers Technical University
Department of Computing Science
S-412 96 Gothenburg
Sweden
Copyright:
Reiner Hähnle
Abstract:
Bibliography on automated deduction, in particular in non-classical logics and tableau methods; many-valued logic
Keywords:
deduction, logic, semantic tableaux

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(688), article(632), book(318), techreport(189), incollection(136), unpublished(51), manual(48), phdthesis(47), misc(33), mastersthesis(19), proceedings(14), booklet(3)
Fields:
title(2178), year(2174), author(2093), pages(1231), publisher(1011), volume(974), booktitle(824), journal(635), month(580), editor(578), number(577), series(474), keywords(284), note(226), url(203), isbn_issn(202), institution(193), location(107), address(106), type(93), school(66), annote(59), organization(53), edition(50), chapter(33), howpublished(31), key(20), doi(10), doi-url(10), review(5), issn(3), mycrossref(3), addresse(1), isbn(1)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!