Research Catalog

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings

Title: Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.).
Author: International Conference on Automated Deduction (12th : 1994 : Nancy, France)
Publication: Berlin ; New York : Springer-Verlag, c1994.

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	JSE 94-1757	Offsite

Details

Additional Authors

Bundy, Alan.

Description

xvi, 848 p. : ill.; 24 cm.

Series Statement

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

Uniform Title

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

Subjects

Bibliography (note)

Includes bibliographical references and index.

Call Number

JSE 94-1757

ISBN

3540581561 (Berlin : acid-free paper)
0387581561 (New York : acid-free paper)

LCCN

94017912

OCLC

30544565
NYPGR30544565-B

Conference

International Conference on Automated Deduction (12th : 1994 : Nancy, France)

Title

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994 : proceedings / Alan Bundy (ed.).

Imprint

Berlin ; New York : Springer-Verlag, c1994.

Series

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

Lecture notes in computer science ; 814.

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

Bibliography

Includes bibliographical references and index.

Added Author

Bundy, Alan.

Research Call Number

JSE 94-1757

View in Legacy Catalog