Suggested Topics within your search.
Showing 1 - 20 results of 135 for search '"Computer logic"', query time: 0.08s 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
    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:
  4. 4
    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:
  5. 5
    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:
  6. 6
    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:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /

    Computer science logic 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008 : proceedings /

    Published 2008
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    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:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  9. 9
    Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /

    Computer science logic 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005 ; proceedings /

    Published 2005
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  10. 10
    Computer science logic 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

    Computer science logic 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings /

    Published 2007
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers /

    Rewriting logic and its applications 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010 : revised selected papers /

    Published 2010
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    Rewriting logic and its applications 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers /

    Rewriting logic and its applications 9th International Workshop, WRLA 2012, held as a satellite event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised selected papers /

    Published 2012
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  13. 13
    Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /

    Computer science logic 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /

    Published 2009
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  14. 14
    Artificial intelligence logic and applications : the 3rd international conference, AILA 2023, Changchun, China, August 5-6, 2023, proceedings /

    Artificial intelligence logic and applications : the 3rd international conference, AILA 2023, Changchun, China, August 5-6, 2023, proceedings /

    Published 2023
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  15. 15
    Krister Segerberg on logic of actions

    Krister Segerberg on logic of actions

    Published 2013
    Subjects:
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  16. 16
    Logical methods in computer science LMCS.

    Logical methods in computer science LMCS.

    Subjects: “…Computer logic Periodicals.…”
    Online Access (A-Z Journals and Newspapers)
    Electronic Journal
    Save to List
    Saved in:
  17. 17
    Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /

    Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /

    Published 2012
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  18. 18
    Computational logic in multi-agent systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, proceedings /

    Computational logic in multi-agent systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011, proceedings /

    Published 2011
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  19. 19
    Argumentation in multi-agent systems 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers /

    Argumentation in multi-agent systems 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers /

    Published 2012
    Subjects:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  20. 20
    Reversible computation : 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings /

    Reversible computation : 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings /

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