34 results Refine Results
  1. 1
    Published 1980
    Conference Proceeding Book
    Save to List
    Saved in:
    5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 /
  2. 2
    Published 1984
    Conference Proceeding Book
    Save to List
    Saved in:
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
  3. 3
    Published 1982
    Conference Proceeding Book
    Save to List
    Saved in:
    6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
  4. 4
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings /
  5. 5
    Published 1988
    Book
    Save to List
    Saved in:
    9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings /
  6. 6
    Published 1988
    Book
    Save to List
    Saved in:
    Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings /
  7. 7
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings /
  8. 8
    Published 1985
    Book
    Save to List
    Saved in:
    Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
  9. 9
    Published 1986
    Book
    Save to List
    Saved in:
    8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /
  10. 10
    Published 1992
    Conference Proceeding Book
    Save to List
    Saved in:
    Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /
  11. 11
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27 1993 : proceedings /
  12. 12
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers /
  13. 13
    Published 1994
    Book
    Save to List
    Saved in:
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
  14. 14
    Published 1994
    Book
    Save to List
    Saved in:
    Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
  15. 15
    Published 1992
    Book
    Save to List
    Saved in:
    Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings /
  16. 16
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings /
  17. 17
    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
    Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
  18. 18
    Published 1991
    Book
    Save to List
    Saved in:
    The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
  19. 19
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings /
  20. 20
    Published 1991
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings /

Search Tools: