Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings /
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Actes de congresos Llibre |
| Idioma: | English |
| Publicat: |
Berlin : New York :
Springer,
c1995.
|
| Col·lecció: | Lecture notes in computer science ;
918. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Matèries: |
| Descripció física: | x, 352 p. : ill. ; 24 cm. |
|---|---|
| Bibliografia: | Includes bibliographical references. |
| ISBN: | 3540593381 |