Suggested Topics within your search.
Showing 1 - 20 results of 25 for search '', query time: 0.08s Refine Results
  1. 1
    Deductive systems and the decidability problem for hybrid logics /

    Deductive systems and the decidability problem for hybrid logics / by Zawidzki, Michał

    Published 2014
    Book
    Save to List
    Saved in:
  2. 2
    Foundations of deductive databases and logic programming /

    Foundations of deductive databases and logic programming /

    Published 1988
    Full Text (via O'Reilly/Safari)
    eBook
    Save to List
    Saved in:
  3. 3
    Foundations of deductive databases and logic programming /

    Foundations of deductive databases and logic programming /

    Published 1988
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  4. 4
    Deductive databases and logic programming /

    Deductive databases and logic programming / by Das, Subrata Kumar

    Published 1992
    Book
    Save to List
    Saved in:
  5. 5
    Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings /

    Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings /

    Published 1996
    Full Text (via Internet Archive)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Deductive databases and their applications

    Deductive databases and their applications by Colomb, Robert M., 1942-

    Published 1998
    Full Text (via Taylor & Francis)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Foundations of deductive databases and logic programming /

    Foundations of deductive databases and logic programming /

    Published 1988
    Book
    Save to List
    Saved in:
  8. 8
    Building a deductive database /

    Building a deductive database / by Nussbaum, Miguel

    Published 1992
    Book
    Save to List
    Saved in:
  9. 9
    Meta-level control for deductive database systems /

    Meta-level control for deductive database systems / by Schmidt, Helmut, 1962-

    Published 1991
    Book
    Save to List
    Saved in:
  10. 10
    Advances in database research : proceedings of the 4th Australian Database Conference, Brisbane, 1-2 February 1993 /

    Advances in database research : proceedings of the 4th Australian Database Conference, Brisbane, 1-2 February 1993 /

    Published 1993
    Conference Proceeding Book
    Save to List
    Saved in:
  11. 11
    LOGIDATA+ : deductive databases with complex objects /

    LOGIDATA+ : deductive databases with complex objects /

    Published 1993
    Book
    Save to List
    Saved in:
  12. 12
    Deductive and object-oriented databases proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989 /

    Deductive and object-oriented databases proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD89), Kyoto Research Park, Kyoto, Japan, 4-...

    Published 1990
    Full Text (via ScienceDirect)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Foundations of deductive databases and logic programming

    Foundations of deductive databases and logic programming

    Published 1988
    Full Text (via ScienceDirect)
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers /

    Transactions and change in logic databases : International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-...

    Published 1998
    Conference Proceeding Book
    Save to List
    Saved in:
  15. 15
    Deductive and object-oriented databases : 5th international conference, DOOD '97, Montreux, Switzerland, December 8-12, 1997 : proceedings /

    Deductive and object-oriented databases : 5th international conference, DOOD '97, Montreux, Switzerland, December 8-12, 1997 : proceedings /

    Published 1997
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  16. 16
    Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings /

    Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings /

    Published 1996
    Conference Proceeding Book
    Save to List
    Saved in:
  17. 17
    The deductive spreadsheet /

    The deductive spreadsheet / by Cervesato, Iliano

    Published 2013
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  18. 18
    Deductive and object-oriented databases Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings /

    Deductive and object-oriented databases Second International Conference, DOOD '91, Munich, Germany, December 16-18, 1991 : proceedings /

    Published 1991
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  19. 19
    Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS '97), Port Jefferson, NY, USA, October 17, 1997 : invited surveys and selected papers /

    Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Co...

    Published 1998
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings /

    Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings /

    Published 1996
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search