Showing 1 - 20 results of 166 for search '', query time: 0.08s Refine Results
  1. 1
    Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers

    Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers

    Berlin ; New York : Springer, 1995
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  2. 2
    Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings

    Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings

    Berlin ; New York : Springer-Verlag, 1988
    Format: Book


    Save to List
    Saved in:
  3. 3
    Recent advances in constraints : joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers

    Recent advances in constraints : joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25,...

    Berlin ; New York : Springer, 2005
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Logic for applications

    Logic for applications by Nerode, Anil, 1932-

    New York : Springer-Verlag, 1993
    Format: Book


    Save to List
    Saved in:
  5. 5
    Logic programming in action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings

    Logic programming in action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings

    Berlin : New York : Springer-Verlag, 1992
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  6. 6
    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

    Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings

    Berlin ; New York : Springer-Verlag, 1993
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  7. 7
    Logic for artificial intelligence & information technology

    Logic for artificial intelligence & information technology by Gabbay, Dov M., 1945-

    London : College Publications, 2007
    Format: Book


    Save to List
    Saved in:
  8. 8
    Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers

    Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers

    Berlin ; New York : Springer, 2007
    Format: Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Principles of logic and logic programming

    Principles of logic and logic programming by Metakides, George, 1945-

    Amsterdam ; New York : Elsevier, 1996
    Format: Book


    Save to List
    Saved in:
  10. 10
    Programming logic and design : comprehensive

    Programming logic and design : comprehensive by Farrell, Joyce

    Boston, Mass. : Course Technology, 2011
    6th ed.
    Format: Book


    Save to List
    Saved in:
  11. 11
    Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings

    Functional and logic programming : 8th international symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006 : proceedings

    Berlin ; New York : Springer, 2006
    Format: Electronic Conference Proceeding Book
    Save to List
    Saved in:
  12. 12
    Program development in computational logic : a decade of research advances in logic-based program development

    Program development in computational logic : a decade of research advances in logic-based program development

    Berlin ; New York : Springer, 2004
    Format: Electronic eBook
    Save to List
    Saved in:
  13. 13
    An object-oriented approach to programming logic and design

    An object-oriented approach to programming logic and design by Farrell, Joyce

    Boston : Thomson/Course Technology, 2008
    2nd ed.
    Format: Book


    Save to List
    Saved in:
  14. 14
    Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

    Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986

    Berlin ; New York : Springer-Verlag, 1987
    Format: Conference Proceeding Book


    Save to List
    Saved in:
  15. 15
    Conclog : a methodological approach to concurrent logic programming

    Conclog : a methodological approach to concurrent logic programming by Jacquet, J.-M. (Jean-Marie)

    Berlin ; New York : Springer-Verlag, 1991
    Format: Book


    Save to List
    Saved in:
  16. 16
    Arithmetic and logic in computer systems

    Arithmetic and logic in computer systems by Lu, Mi

    Hoboken, N.J. : Wiley-Interscience, 2004
    Format: Book


    Save to List
    Saved in:
  17. 17
    The Haskell road to logic, maths and programming

    The Haskell road to logic, maths and programming by Doets, Kees

    London : King's College Publications, 2004
    Format: Book


    Save to List
    Saved in:
  18. 18
    Programming logic and design : comprehensive

    Programming logic and design : comprehensive by Farrell, Joyce

    Boston, Mass. : Thomson Course Technology, 2008
    5th ed.
    Format: Book


    Save to List
    Saved in:
  19. 19
    Logic, programming, and Prolog

    Logic, programming, and Prolog by Nilsson, Ulf

    Chichester, West Sussex, England ; New York : Wiley, 1990
    Format: Book


    Save to List
    Saved in:
  20. 20
    Logic in computer science : modelling and reasoning about systems

    Logic in computer science : modelling and reasoning about systems by Huth, Michael, 1962-

    Cambridge [U.K.] ; New York : Cambridge University Press, 2004
    2nd ed.
    Format: Book


    Save to List
    Saved in:

Search Tools: