Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

Journal of Automated Reasoning

Volume 1 / 1985 - Volume 48 / 2012

Volume 32, Number 1 / January 2004

Viewing all 4 articles

Journal
About

Search within

Search Within This Journal

Hide Filters
Show Filters

Browse This Journal

Contemporary Content

Volume 48
- 133-292Number 2 / February 2012
- 1-131Number 1 / January 2012
Volume 47
- 337-501Number 4 / December 2011
- 229-336Number 3 / October 2011
- 107-227Number 2 / August 2011
- 1-105Number 1 / June 2011
Volume 46
- 223-421Numbers 3-4 / April 2011
- 103-221Number 2 / February 2011
- 1-102Number 1 / January 2011
Volume 45
- 327-473Number 4 / December 2010
- 213-325Number 3 / October 2010
- 89-212Number 2 / August 2010
- 1-87Number 1 / June 2010
Volume 44
- 303-424Number 4 / April 2010
- 175-301Number 3 / March 2010
- 1-174Numbers 1-2 / February 2010
Volume 43
- 337-446Number 4 / December 2009
- 237-336Number 3 / October 2009
- 121-236Number 2 / August 2009
- 1-119Number 1 / June 2009
Volume 42
- 123-454Numbers 2-4 / April 2009
- 1-122Number 1 / January 2009
Volume 41
- 191-398Numbers 3-4 / November 2008
- 99-189Number 2 / August 2008
- 1-98Number 1 / July 2008
Volume 40
- 245-357Number 4 / May 2008
- 87-243Numbers 2-3 / March 2008
- 1-85Number 1 / January 2008
Volume 39
- 431-541Number 4 / December 2007
- 245-429Number 3 / October 2007
- 107-243Number 2 / August 2007
- 1-106Number 1 / July 2007
Volume 38
- 273-373Number 4 / May 2007
- 1-271Numbers 1-3 / April 2007
Volume 37
- 231-349Number 4 / November 2006
- 153-229Number 3 / October 2006
- 1-152Numbers 1-2 / August 2006
Volume 36
- 287-410Number 4 / April 2006
- 177-285Number 3 / April 2006
- 1-176Numbers 1-2 / January 2006
Volume 35
- 295-431Number 4 / November 2005
- 1-293Numbers 1-3 / October 2005
Volume 34
- 323-423Number 4 / May 2005
- 209-321Number 3 / April 2005
- 103-207Number 2 / December 2005
- 1-101Number 1 / January 2005
Volume 33
- 219-383Numbers 3-4 / October 2004
- 89-218Number 2 / September 2004
- 1-88Number 1 / July 2004
Volume 32
- 287-355Number 4 / December 2004
- 185-286Number 3 / February 2004
- 93-184Number 2 / February 2004
- 1-92Number 1 / January 2004
Volume 31
- 189-376Numbers 3-4 / November 2003
- 105-187Number 2 / October 2003
- 1-103Number 1 / September 2003
Volume 30
- 233-450Numbers 3-4 / May 2003
- 121-232Number 2 / February 2003
- 1-120Number 1 / January 2003
Volume 29
- 183-418Numbers 3-4 / September 2002
- 107-182Number 2 / June 2002
- 1-106Number 1 / March 2002
Volume 28
- 337-440Number 4 / May 2002
- 235-336Number 3 / April 2002
- 99-233Number 2 / February 2002
- 1-97Number 1 / January 2002
Volume 27
- 323-428Number 4 / November 2001
- 227-322Number 3 / October 2001
- 89-225Number 2 / August 2001
- 1-87Number 1 / July 2001
Volume 26
- 333-438Number 4 / May 2001
- 223-331Number 3 / April 2001
- 107-221Number 2 / February 2001
- 1-106Number 1 / January 2001
Volume 25
- 247-334Number 4 / November 2000
- 167-246Number 3 / October 2000
- 83-165Number 2 / August 2000
- 1-82Number 1 / July 2000
Volume 24
- 397-533Number 4 / May 2000
- 297-396Number 3 / April 2000
- 1-296Numbers 1-2 / February 2000
Volume 23
- 195-498Number 3 / November 1999
- 107-193Number 2 / August 1999
- 1-105Number 1 / July 1999
Volume 22
- 379-490Number 4 / May 1999
- 223-378Number 3 / March 1999
- 117-221Number 2 / February 1999
- 1-115Number 1 / January 1999
Volume 21
- 277-400Number 3 / December 1998
- 135-277Number 2 / October 1998
- 1-134Number 1 / August 1998
Volume 20
- 215-387Number 3 / June 1998
- 1-213Numbers 1-2 / April 1998
Volume 19
- 263-376Number 3 / December 1997
- 143-262Number 2 / October 1997
- 1-141Number 1 / August 1997
Volume 18
- 297-442Number 3 / June 1997
- 137-296Number 2 / April 1997
- 1-135Number 1 / February 1997

Archival Content

About This Journal

Title

Journal of Automated Reasoning

Coverage

Volume 1 / 1985 - Volume 48 / 2012

Collection

Computer Science

Subjects

ISSN

0168-7433 (Print)
1573-0670 (Online)

Additional Links

Publisher

Springer Netherlands

SpringerLink Date

Friday, April 05, 2002

1-2
Preface
Preface
Deepak Kapur
- Download PDF (3.1 KB)
3-33
GRAMY: A Geometry Theorem Prover Capable of Construction
Noboru Matsuda and Kurt VanLehn
- Download PDF (4.9 KB)
35-73
Verification in the Classroom
Christoph Walther and Stephan Schweitzer
- Download PDF (4.5 KB)
75-92
ETPS: A System to Help Students Write Formal Proofs
Peter B. Andrews, Chad E. Brown, Frank Pfenning, Matthew Bishop and Sunil Issar, et al.
- Download PDF (5.2 KB)

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us