33 results · clear filters Sort: newest oldest name

1. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   1999-06-07/11 · Saratoga Springs, United States
   Computer and information sciences
   e10889m
2. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   1998-05-05/08 · Kingdom of the Netherlands
   Computer and information sciences
   e10888p
3. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   1997-05-13/16 · Pont-à-Mousson, France
   Computer and information sciences
   e10887r
4. International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
   1996-05-15/17 · Terrasini, Italy
   Computer and information sciences
   e10886t
5. International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
   1995-05-07/10 · Sankt Goar, Germany
   Computer and information sciences
   e10885w
6. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
   1994-01-01 · United Kingdom
   Computer and information sciences
   e12nzm9
7. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
   1993-01-01 · Marseille, France
   Computer and information sciences
   e12nzkb
8. Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992 (TABLEAUX)
   1992-03-18/20 · Germany
   Computer and information sciences
   e11wr9t

As JSON: https://labs.confref.org/api/search?field=1&series=s10anr4&page=2