Research Catalog

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings

Title: Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
Publication: Berlin : New York : Springer, c1995.

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 95-1150	Offsite

Details

Additional Authors

Description

x, 352 p. : ill.; 24 cm.

Series Statement

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

Uniform Title

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

Alternative Title

TABLEAUX '95

Subject

Bibliography (note)

Includes bibliographical references.

Call Number

JSE 95-1150

ISBN

3540593381

OCLC

32644245

Title

Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)

Imprint

Berlin : New York : Springer, c1995.

Series

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

Lecture notes in computer science ; 918.

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

Bibliography

Includes bibliographical references.

Added Author

Baumgartner, Peter.

Hähnle, Reiner.

Posegga, Joachim.

Research Call Number

JSE 95-1150

View in Legacy Catalog