Suggested Topics within your search.
Showing 1 - 20 results of 38 for search '' Refine Results
  1. 1
    Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings / James Cussens, Alan Frisch (eds.).
    Published 2000
    Book
    Save to List
    Saved in:
  2. 2
    Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.).
    Published 1999
    Book
    Save to List
    Saved in:
  3. 3
    Foundations of logic programming / J.W. Lloyd.
    Edition: 2nd extended ed..
    Book
    Save to List
    Saved in:
  4. 4
    The journal of logic and algebraic programming
    Get full text
    Serial
    Save to List
    Saved in:
  5. 5
    Journal of logical and algebraic methods in programming
    Get full text
    Serial
    Save to List
    Saved in:
  6. 6
    Programming with higher-order logic / Dale Miller, INRIA-Saclay, Ile de France & LIX, Ecole Polytechnique, Gopalan Nadathur, University of Minnesota.
    by Miller, Dale (Dale A.)
    Published 2012
    Book
    Save to List
    Saved in:
  7. 7
    General game playing / Michael Genesereth, Michael Thielscher.
    Book
    Save to List
    Saved in:
  8. 8
    Proceedings of the 24th Annual IEEE Conference on Computational Complexity 15-18 July 2009 Paris France / IEEE Computer Society.
    Published 2009
    Get full text
    eBook
    Save to List
    Saved in:
  9. 9
    Prolog versus you : an introduction to logic programming / Anna-Lena Johansson, Agneta Eriksson-Granskog, Anneli Edman.
    Book
    Save to List
    Saved in:
  10. 10
    Discrete structures, logic, and computability / James L. Hein.
    by Hein, James L.
    Published 2010
    Edition: 3rd ed.
    Book
    Save to List
    Saved in:
  11. 11
    Java programs to accompany Programming logic and design, sixth edition / by Jo Ann Smith.
    by Smith, Jo Ann
    Published 2011
    Book
    Save to List
    Saved in:
  12. 12
    Microsoft Visual Basic programs to accompany Programming logic and design, sixth edition / Jo Ann Smith.
    by Smith, Jo Ann
    Published 2011
    Book
    Save to List
    Saved in:
  13. 13
    Journal of automated reasoning
    Get full text
    Serial
    Save to List
    Saved in:
  14. 14
    Theory and practice of logic programming
    Get full text
    Serial
    Save to List
    Saved in:
  15. 15
    Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings / Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.).
    Published 2007
    Book
    Save to List
    Saved in:
  16. 16
    Logic for computer scientists / Uwe Schöning.
    by Schöning, Uwe, 1955-
    Published 1989
    Edition: 1st ed. 1989. 2nd printing 2008
    Book
    Save to List
    Saved in:
  17. 17
    Journal of logic and computation
    Get full text
    Serial
    Save to List
    Saved in:
  18. 18
    Twenty-first Annual IEEE Conference on Computational Complexity proceedings : (CCC 2006) : 16-20 July, 2006, Prague, Czech Republic / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT and EATCS.
    Published 2006
    Get full text
    eBook
    Save to List
    Saved in:
  19. 19
    CCC 2008 twenty-third Annual IEEE Conference on Computational Complexity : proceedings : 23-26 June 2008, College Park, Maryland / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM SIGACT and EATCS.
    Published 2008
    Get full text
    eBook
    Save to List
    Saved in:
  20. 20
    Latest advances in inductive logic programming / Stephen H. Muggleton & Hiroaki Watanabe.
    Published 2015
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search