Suggested Topics within your search.
Showing 1 - 20 results of 352 for search '"Computer logic"', query time: 0.13s Refine Results
  1. 1
    Digital Logic Design /

    Digital Logic Design / by Singh, Sonali

    Published 2015
    Subjects: “…Computer logic.…”
    Full Text (via Skillsoft)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Handbook of practical logic and automated reasoning /

    Handbook of practical logic and automated reasoning / by Harrison, J. (John), 1966-

    Published 2009
    Subjects: “…Computer logic.…”
    Full Text (via Cambridge)
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings /

    Computer science logic : 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23-27, 2010 : proceedings /

    Published 2010
    Subjects: “…Computer logic Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings /

    Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings /

    Published 1999
    Subjects: “…Computer logic Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  5. 5
    Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /

    Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /

    Published 2001
    Subjects: “…Computer logic Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /

    Computer science logic : 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proc...

    Published 2003
    Subjects: “…Computer logic Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /

    Computer science logic : 18th International Workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /

    Published 2004
    Subjects: “…Computer logic Congresses.…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Fundamentals of logic and computation with practical automated reasoning and verification /

    Fundamentals of logic and computation with practical automated reasoning and verification / by Hou, Zhe (Lecturer)

    Published 2021
    Subjects:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  9. 9
    Handbook of the history of logic.

    Handbook of the history of logic.

    Published 2014
    Subjects: Full Text (via ScienceDirect)
    eBook
    Save to List
    Saved in:
  10. 10
    Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /

    Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday /

    Published 2019
    Subjects:
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  11. 11
    Essential logic for computer science /

    Essential logic for computer science / by Page, Rex, 1944-, Gamboa, Ruben

    Published 2018
    Subjects:
    Book
    Save to List
    Saved in:
  12. 12
    Digital logic for computing /

    Digital logic for computing / by Seiffertt, John

    Published 2017
    Subjects:
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  13. 13
    Logics in computer science a study on extensions of temporal and strategic logics /

    Logics in computer science a study on extensions of temporal and strategic logics / by Mogavero, Fabio

    Published 2013
    Subjects:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  14. 14
    Handbook of practical logic and automated reasoning /

    Handbook of practical logic and automated reasoning / by Harrison, J. (John), 1966-

    Published 2009
    Subjects:
    Full Text (via EBSCO)
    eBook
    Save to List
    Saved in:
  15. 15
    Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers /

    Rewriting logic and its applications : 13th International Workshop, WRLA 2020, virtual event, October 20-22, 2020 : revised selected papers /

    Published 2020
    Subjects:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  16. 16
    Computer science logic 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /

    Computer science logic 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings /

    Published 2006
    Subjects:
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  17. 17
    Logic for computer science and artificial intelligence /

    Logic for computer science and artificial intelligence / by Caferra, Ricardo, 1945-

    Published 2011
    Subjects: “…Computer logic.…”
    Full Text (via O'Reilly/Safari)
    eBook
    Save to List
    Saved in:
  18. 18
    Logic for computer science and artificial intelligence /

    Logic for computer science and artificial intelligence / by Caferra, Ricardo, 1945-

    Published 2011
    Subjects: “…Computer logic.…”
    Full Text (via Wiley)
    eBook
    Save to List
    Saved in:
  19. 19
    Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /

    Rewriting logic and its applications : 12th International Workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings /

    Published 2018
    Subjects:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected papers /

    Rewriting logic and its applications : 11th International Workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised selected pap...

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