Foreslåede emner i din søgning.
Showing 1 - 20 results of 42 for search '', Forespørselstid: 0.02s Refine Results
  1. 1
    Logic for computer science and artificial intelligence /
    af Caferra, Ricardo
    Udgivet 2011
    Bog
    Føj til favoritter
    Saved in:
  2. 2
    Proofs and algorithms : an introduction to logic and computability /
    af Dowek, Gilles
    Udgivet 2011
    Bog
    Føj til favoritter
    Saved in:
  3. 3
    Introductory logic and sets for computer scientists /
    af Nissanke, Nimal
    Udgivet 1999
    Bog
    Føj til favoritter
    Saved in:
  4. 4
    Microsoft visual basic programs to accompany programming logic and design /
    af Smith, Jo Ann
    Udgivet 2013
    Bog
    Føj til favoritter
    Saved in:
  5. 5
    Logical problem solving before the flowchart with C++ and visual basic applications /
    af Lamey, Robert
    Udgivet 2002
    Bog
    Føj til favoritter
    Saved in:
  6. 6
    Logic-based artificial intelligence /
    Udgivet 2000
    Bog
    Føj til favoritter
    Saved in:
  7. 7
    Dynamic logic /
    af Harel, David
    Udgivet 2000
    Bog
    Føj til favoritter
    Saved in:
  8. 8
    Computer science logic /
    Udgivet 2000
    Conference Proceeding Bog
    Føj til favoritter
    Saved in:
  9. 9
    Handbook of practical logic and automated reasoning /
    af Harrison, John
    Udgivet 2009
    Bog
    Føj til favoritter
    Saved in:
  10. 10
    Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
    Udgivet 2005
    SpringerLink
    Conference Proceeding eBog
    Føj til favoritter
    Saved in:
  11. 11
    Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
    Udgivet 2005
    SpringerLink
    Conference Proceeding eBog
    Føj til favoritter
    Saved in:
  12. 12
    Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
    Udgivet 2006
    Click here to view the full text content
    Conference Proceeding eBog
    Føj til favoritter
    Saved in:
  13. 13
    Computer science logic (vol. # 4207) : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
    Click here to view the full text content
    eBog
    Føj til favoritter
    Saved in:
  14. 14
    Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
    Udgivet 2006
    Click here to view the full text content
    Conference Proceeding eBog
    Føj til favoritter
    Saved in:
  15. 15
    Dag Prawitz on Proofs and Meaning /
    Udgivet 2015
    Click here to view the full text content
    eBog
    Føj til favoritter
    Saved in:
  16. 16
    Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Udgivet 2015
    Click here to view the full text content
    eBog
    Føj til favoritter
    Saved in:
  17. 17
    FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Udgivet 2015
    Click here to view the full text content
    eBog
    Føj til favoritter
    Saved in:
  18. 18
    Computation engineering : applied automata theory and logic /
    af Gopalakrishnan, Ganesh
    Udgivet 2006
    Bog
    Føj til favoritter
    Saved in:
  19. 19
    Logic functions and equations : binary models for computer science /
    af Posthoff, Christian
    Udgivet 2004
    Bog
    Føj til favoritter
    Saved in:
  20. 20
    Logic for learning : learning comprehensive theories from structured data /
    af Lloyd, John W.
    Udgivet 2003
    Bog
    Føj til favoritter
    Saved in:
Søgeredskaber: ”Modtag RSS Feed – Email denne søgning – Gem søgning