Bibliography on Automated Deduction and its Applications

[   About   |  Browse   |   Statistics   ]

Number of references:	1890	Last update:	May 4, 2004
Number of online publications:	127	Supported:	yes
Most recent reference:	July 2004

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

• Original source:

  http://www.cs.chalmers.se... (Format: bibtex)

Bibliographic Statistics

Types:

article(582), inproceedings(542), book(284), techreport(170), incollection(122), unpublished(50), manual(41), phdthesis(40), misc(30), mastersthesis(13), proceedings(13), booklet(3)

Fields:

title(1890), year(1886), author(1820), pages(1047), publisher(825), volume(814), booktitle(665), journal(584), month(512), number(507), editor(443), series(361), keywords(284), note(209), institution(174), isbn_issn(167), url(122), location(104), address(88), type(85), annote(59), school(53), organization(45), edition(43), chapter(33), howpublished(31), key(10), review(5), mycrossref(3), area(1), editors(1)

Distribution of publication dates:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.