Suggested Topics within your search.
Showing 1 - 20 results of 61 for search '"Logic, Symbolic and mathematical Congresses."', query time: 0.03s Refine Results
  1. 1
    Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
    Conference Proceeding Book
    Published 1988
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  2. 2
    Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
    Conference Proceeding Book
    Published 1983
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  3. 3
    Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
    Conference Proceeding Book
    Published 1986
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  4. 4
    Logic Colloquium '77 : proceedings of the colloquium held in Wroclaw, August 1977 /
    Conference Proceeding Book
    Published 1978
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  5. 5
    ISSAC 2000 : proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 7-9 August, 2000, University of St Andrews, Scotland /
    Conference Proceeding Book
    Published 2000
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  6. 6
    1st Irish Workshop on Formal Methods : proceedings of the 1st Irish Workshop on Formal Methods, Dublin, 3-4 July 1997 /
    Conference Proceeding Book
    Published 1997
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  7. 7
    Logic and software engineering : international workshop in honor of Chih-Sung Tang : Beijing, 14-15 August 1995 /
    Book
    Published 1996
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  8. 8
    Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /
    Conference Proceeding Book
    Published 1994
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  9. 9
    Frontiers of combining systems : first international workshop, Munich, March 1996 /
    Book
    Published 1996
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  10. 10
    Logic and data bases /
    Conference Proceeding Book
    Published 1978
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  11. 11
    Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30-October 3, 1996, proceedings /
    Conference Proceeding Book
    Published 1996
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  12. 12
    Proof and computation /
    Conference Proceeding Book
    Published 1995
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  13. 13
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
    Conference Proceeding Book
    Published 1996
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  14. 14
    Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings /
    Conference Proceeding Book
    Published 1994
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  15. 15
    Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings /
    Conference Proceeding Book
    Published 1993
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  16. 16
    Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
    Book
    Published 1995
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  17. 17
    Logics of programs : Brooklyn, June 17-19, 1985 : proceedings /
    Book
    Published 1985
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  18. 18
    The Logic of theory change : workshop, Konstanz, FRG, October 13-15, 1989, proceedings /
    Book
    Published 1991
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  19. 19
    Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings /
    Conference Proceeding Book
    Published 1994
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
  20. 20
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
    Book
    Published 1994
    Subjects: “…Logic, Symbolic and mathematical Congresses.…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search