107 results Refine Results
  1. 21
    Published 1995
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /
  2. 22
    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
    Computer science logic : 9th international workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers /
  3. 23
    Published 1972
    Conference Proceeding Book
    Save to List
    Saved in:
    Conference in Mathematical Logic, London '70 : [proceedings] /
  4. 24
    Published 1968
    Conference Proceeding Book
    Save to List
    Saved in:
    Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
  5. 25
    Published 1972
    Conference Proceeding Book
    Save to List
    Saved in:
    Contributions to non-standard analysis /
  6. 26
    Published 1988
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 1987 : proceedings /
  7. 27
    Published 1989
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /
  8. 28
    Published 1990
    Conference Proceeding Book
    Save to List
    Saved in:
    CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /
  9. 29
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /
  10. 30
    Published 2008
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal concept analysis 6th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 : proceedings /
  11. 31
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings /
  12. 32
    Published 1965
    Conference Proceeding Book
    Save to List
    Saved in:
    Formal systems and recursive functions : proceedings /
  13. 33
    Published 1985
    Conference Proceeding Book
    Save to List
    Saved in:
    Foundations of logic and linguistics : problems and their solutions /
  14. 34
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Foundations of software science and computational structures 10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings /
  15. 35
    Published 2005
    Connect to electronic resource
    Electronic Conference Proceeding Book
    Save to List
    Saved in:
    Frontiers of combining systems 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings /
  16. 36
    Published 2007
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Frontiers of combining systems 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings /
  17. 37
    Published 2001
    Conference Proceeding Book
    Save to List
    Saved in:
    Gödel '96 : logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
  18. 38
    Published 2006
    Connect to electronic resource
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
    Grammatical inference algorithms and applications : 8th international colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings /
  19. 39
    Published 1970
    Conference Proceeding Book
    Save to List
    Saved in:
    Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968 /
  20. 40
    Published 1975
    Conference Proceeding Book
    Save to List
    Saved in:
    ISILC Logic Conference : proceedings ... Edited by G.H. Muller, A. Oberschelp and K. Potthoff.

Search Tools: