The Collection of
Computer Science Bibliographies

Bibliography of "Journal of Automated Reasoning"

[ About | Browse | Statistics ]

Number of references:	368	Last update:	July 6, 2001
Number of online publications:	0	Supported:	no
Most recent reference:	December 1997	Info:	Version 1.00

Information on the Bibliography

Editor:: David M. Jones <dmjones @ theory . lcs . mit . edu> (email mangled to prevent spamming)
Theory of Computation Group
MIT Laboratory for Computer Science
Room NE43-316
545 Technology Square
Cambridge, MA 02139
USA
Hypertext Bibliography Project

Browsing the bibliography

Original source:

Used to be available at
http://theory.lcs.mit.edu/~dmjones/hbp/bibs/ley/jar/jar.bib
but has disappeared.
Local copy in BibTeX format (23 KB, compressed with gzip)

Bibliographic Statistics

Types:: article(368)
Fields:: author(368), journal(368), number(368), pages(368), title(368), volume(368), year(368), month(341), references(1)
Distribution of publication dates: