The Collection of
Computer Science Bibliographies

Bibliography on Automated Deduction and its Applications

[   About   |  Browse   |   Statistics   ]

Number of references:2046Last update:September 14, 2006
Number of online publications:298Supported:yes
Most recent reference:July 2006

Information on the Bibliography

Author:
Reiner Hähnle <reiner @ cs . 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(615), article(611), book(300), techreport(183), incollection(132), unpublished(51), manual(46), phdthesis(45), misc(31), mastersthesis(15), proceedings(14), booklet(3)
Fields:
title(2046), year(2042), author(1968), pages(1143), publisher(911), volume(897), booktitle(748), journal(614), month(557), number(552), editor(511), series(419), keywords(284), note(224), isbn_issn(188), institution(187), url(184), location(106), address(100), type(89), school(60), annote(59), organization(51), edition(45), chapter(33), howpublished(31), key(16), review(5), mycrossref(3)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!