Suggested Topics within your search.
Showing 1 - 20 results of 39 for search '"Lecture notes in computer science,"', query time: 0.04s Refine Results
  1. 1
    Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /

    Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  2. 2
    Reasoning with logic programming /

    Reasoning with logic programming / by Alferes, José Júlio, 1966-

    Published 1996
    “…Lecture notes in computer science ;…”
    Book
  3. 3
    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  4. 4
    Conditional and typed rewriting systems : Proceedings /

    Conditional and typed rewriting systems : Proceedings /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  5. 5
    Algebraic and logic programming /

    Algebraic and logic programming /

    Published 1994
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  6. 6
    Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /

    Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  7. 7
    Computer science logic /

    Computer science logic /

    Published 1994
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  8. 8
    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /

    Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /

    Published 1994
    “…Lecture notes in computer science ;…”
    Book
  9. 9
    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings /

    Foundations of software science and computational structures : 12th international conference, FOSSACS 2009, held as part of the joint Europan conferences on theory and practice of...

    Published 2009
    “…Lecture notes in computer science,…”
    Conference Proceeding Book
  10. 10
    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    “…Lecture notes in computer science…”
    Conference Proceeding Book
  11. 11
    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : Proceedings /

    Published 2007
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  12. 12
    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

    Published 2009
    “…Lecture notes in computer science,…”
    Conference Proceeding Book
  13. 13
    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
    “…Lecture notes in computer science ;…”
    Book
  14. 14
    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Typed lambda calculi and applications : 11th International Conference, TLCA 2013, Eindhoven, the Netherlands, June 26-28, 2013 : proceedings /

    Published 2013
    “…Lecture notes in computer science ;…”
    Book
  15. 15
    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Types for proofs and programs : International workshop TYPES '94 Bastad, Sweden, June 6-10, 1994 Selected papers /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  16. 16
    First-order in dynamic logic /

    First-order in dynamic logic / by Harel, David, 1950-

    Published 1979
    “…Lecture notes in computer science ;…”
    Book
  17. 17
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1995
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  18. 18
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1997
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  19. 19
    Algebraic methodology and software technology /

    Algebraic methodology and software technology /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book
  20. 20
    Logic program synthesis and transformation /

    Logic program synthesis and transformation /

    Published 1996
    “…Lecture notes in computer science ;…”
    Conference Proceeding Book

Search Tools: