Suggested Topics within your search.
Showing 1 - 10 results of 10 for search '', query time: 0.02s Refine Results
  1. 1
    Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /

    Logic, language, information and computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /

    Published 2012
    Book
  2. 2
    Symbolic and algebraic computation /

    Symbolic and algebraic computation /

    Published 1989
    Conference Proceeding Book
  3. 3
    ZUM '95... the Z formal specification notation : Proceedings /

    ZUM '95... the Z formal specification notation : Proceedings /

    Published 1995
    Conference Proceeding Book
  4. 4
    Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers /

    Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers...

    Published 1995
    Conference Proceeding Book
  5. 5
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1997
    Conference Proceeding Book
  6. 6
    Perspectives of system informatics /

    Perspectives of system informatics /

    Published 1996
    Conference Proceeding Book
  7. 7
    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

    Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
  8. 8
    Design and implementation of symbolic computation systems /

    Design and implementation of symbolic computation systems /

    Published 1996
    Conference Proceeding Book
  9. 9
    Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings /

    Algorithmic number theory : second internati[o]nal symposium, ANTS-II, Talence, France, May 18-23, 1996 : proceedings /

    Published 1996
    Book
  10. 10
    Rewriting techniques and applications /

    Rewriting techniques and applications /

    Published 1996
    Conference Proceeding Book

Search Tools: