Priporočene teme znotraj vašega iskanja.
Showing 1 - 20 results of 42 for search '', čas poizvedbe: 0.02s Refine Results
  1. 1
    Logic for computer science and artificial intelligence /
    od Caferra, Ricardo
    Izdano 2011
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  2. 2
    Proofs and algorithms : an introduction to logic and computability /
    od Dowek, Gilles
    Izdano 2011
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  3. 3
    Introductory logic and sets for computer scientists /
    od Nissanke, Nimal
    Izdano 1999
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  4. 4
    Microsoft visual basic programs to accompany programming logic and design /
    od Smith, Jo Ann
    Izdano 2013
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  5. 5
    Logical problem solving before the flowchart with C++ and visual basic applications /
    od Lamey, Robert
    Izdano 2002
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  6. 6
    Logic-based artificial intelligence /
    Izdano 2000
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  7. 7
    Dynamic logic /
    od Harel, David
    Izdano 2000
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  8. 8
    Computer science logic /
    Izdano 2000
    Conference Proceeding Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  9. 9
    Handbook of practical logic and automated reasoning /
    od Harrison, John
    Izdano 2009
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  10. 10
    Computational logic in multi-agent systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
    Izdano 2005
    SpringerLink
    Conference Proceeding eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  11. 11
    Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
    Izdano 2005
    SpringerLink
    Conference Proceeding eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  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 /
    Izdano 2006
    Click here to view the full text content
    Conference Proceeding eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  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
    eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  14. 14
    Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
    Izdano 2006
    Click here to view the full text content
    Conference Proceeding eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  15. 15
    Dag Prawitz on Proofs and Meaning /
    Izdano 2015
    Click here to view the full text content
    eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  16. 16
    Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Izdano 2015
    Click here to view the full text content
    eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  17. 17
    FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Izdano 2015
    Click here to view the full text content
    eKnjiga
    Dodaj v priljubljene
    Shranjeno v:
  18. 18
    Computation engineering : applied automata theory and logic /
    od Gopalakrishnan, Ganesh
    Izdano 2006
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  19. 19
    Logic functions and equations : binary models for computer science /
    od Posthoff, Christian
    Izdano 2004
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
  20. 20
    Logic for learning : learning comprehensive theories from structured data /
    od Lloyd, John W.
    Izdano 2003
    Knjiga
    Dodaj v priljubljene
    Shranjeno v:
Iskalna orodja: RSS – Pošljite iskanje po emailu – Shrani iskanje