Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings
Berlin: Springer 1997
Erscheinungsjahr: 1997
ISBN/ISSN: 978-3-540-62920-7
Publikationstyp: Buch (Konferenzband)
Sprache: Englisch
Doi/URN: 10.1007/BFb0027400
| Geprüft | Bibliothek |
Inhaltszusammenfassung
Autoren
Galmiche, Didier (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
