Research Catalog

Journal of automated reasoning.

Title: Journal of automated reasoning.
Publication: Dordrecht, Holland ; Boston : D. Reidel Pub. Co., 1985-

Items in the Library & Off-site

Filter by

Search by Year

21 Items

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 39-40 (2007-2008)	Text	Request in advance	JSP 88-314 v. 39-40 (2007-2008)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 37-38 (2006-2007)	Text	Request in advance	JSP 88-314 v. 37-38 (2006-2007)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 35-36 (2005-2006)	Text	Request in advance	JSP 88-314 v. 35-36 (2005-2006)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 33-34 (2004-2005)	Text	Request in advance	JSP 88-314 v. 33-34 (2004-2005)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 31-32 (2003-2004)	Text	Request in advance	JSP 88-314 v. 31-32 (2003-2004)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 29-30 (2002-2003)	Text	Request in advance	JSP 88-314 v. 29-30 (2002-2003)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 27-28 (2001-2002)	Text	Request in advance	JSP 88-314 v. 27-28 (2001-2002)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 25-26 (2000-2001)	Text	Request in advance	JSP 88-314 v. 25-26 (2000-2001)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 24 (2000)	Text	Request in advance	JSP 88-314 v. 24 (2000)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 23 (1999)	Text	Request in advance	JSP 88-314 v. 23 (1999)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 22 (Jan-May 1999)	Text	Request in advance	JSP 88-314 v. 22 (Jan-May 1999)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 21 (Aug-Dec. 1998)	Text	Request in advance	JSP 88-314 v. 21 (Aug-Dec. 1998)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 19-20 (1997-1998)	Text	Request in advance	JSP 88-314 v. 19-20 (1997-1998)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 17-18 (1996-1997)	Text	Request in advance	JSP 88-314 v. 17-18 (1996-1997)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 15-16 (1995-1996)	Text	Request in advance	JSP 88-314 v. 15-16 (1995-1996)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 13-14 (1994-1995)	Text	Request in advance	JSP 88-314 v. 13-14 (1994-1995)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 10-12 (1993-1994)	Text	Request in advance	JSP 88-314 v. 10-12 (1993-1994)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 8-9 (1992)	Text	Request in advance	JSP 88-314 v. 8-9 (1992)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 7 (1991)	Text	Request in advance	JSP 88-314 v. 7 (1991)	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 5-6 (1989-1990)	Text	Request in advance	JSP 88-314 v. 5-6 (1989-1990)	Offsite

View All Items

Holdings

Location

Schwarzman Building - Main Reading Room 315

Format

Call Number

JSP 88-314

Library Has

4(1988)-40(2008).

Details

Publication Date

Vol. 1, no. 1-

Description

v. : ill.; 24 cm.

Alternative Title

J. autom. reason.
Journal of automated reasoning

Subjects

Indexed In (note)

Computer & control abstracts
Electrical & electronics abstracts
Physics abstracts. Science abstracts. Series A

Call Number

JSP 88-314

ISSN

0168-7433

LCCN

sn 85011256

OCLC

11936798
NYPG88-S7553

Title

Journal of automated reasoning.

Imprint

Dordrecht, Holland ; Boston : D. Reidel Pub. Co., 1985-

Current Frequency

Four issues yearly

Indexed In:

Computer & control abstracts 0036-8113 1985-

Electrical & electronics abstracts 0036-8105 1985-

Physics abstracts. Science abstracts. Series A 0036-8091 1985-

ACM guide to computing literature 0149-1199

Artificial intelligence abstracts 0882-1410

CAD/CAM abstracts 0882-1437

Robomatic reporter

Abbreviated Title

J. autom. reason.

Research Call Number

JSP 88-314

View in Legacy Catalog