Research Catalog

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings

Title: Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur, ed.
Author: International Conference on Automated Deduction (11th : 1992 : Saratoga Springs, N.Y.)
Publication: Berlin ; New York : Springer-Verlag, c1992.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	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?	Text	Request in advance	JSF 92-712	Offsite

Details

Additional Authors

Kapur, Deepak.

Description

xv, 793 p.; 24 cm.

Series Statement

Lecture notes in computer science ; 607. Lecture notes in artificial intelligence

Uniform Title

Lecture notes in computer science ; 607.
Lecture notes in computer science. Lecture notes in artificial intelligence.

Subject

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSF 92-712

ISBN

3540556028 (Springer-Verlag Berlin Heidelberg New York)
0387556028 (Springer-Verlag New York Berlin Heidelberg)

LCCN

92016409

OCLC

25873299
NYPG92-B74612

Conference

International Conference on Automated Deduction (11th : 1992 : Saratoga Springs, N.Y.)

Title

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur, ed.

Imprint

Berlin ; New York : Springer-Verlag, c1992.

Series

Lecture notes in computer science ; 607. Lecture notes in artificial intelligence

Lecture notes in computer science ; 607.

Lecture notes in computer science. Lecture notes in artificial intelligence.

Bibliography

Includes bibliographical references and index.

Added Author

Kapur, Deepak.

Research Call Number

JSF 92-712

View in Legacy Catalog