The Collection of
Computer Science Bibliographies

Bibliography on Automated Deduction and its Applications

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

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

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: