Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Toon 1 - 20 resultaten van 42 Voor zoekopdracht '', zoektijd: 0,02s Verfijn jouw resultaten
  1. 1
    Logic for computer science and artificial intelligence /
    door Caferra, Ricardo
    Gepubliceerd in 2011
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  2. 2
    Proofs and algorithms : an introduction to logic and computability /
    door Dowek, Gilles
    Gepubliceerd in 2011
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  3. 3
    Introductory logic and sets for computer scientists /
    door Nissanke, Nimal
    Gepubliceerd in 1999
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  4. 4
    Microsoft visual basic programs to accompany programming logic and design /
    door Smith, Jo Ann
    Gepubliceerd in 2013
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  5. 5
    Logical problem solving before the flowchart with C++ and visual basic applications /
    door Lamey, Robert
    Gepubliceerd in 2002
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  6. 6
    Logic-based artificial intelligence /
    Gepubliceerd in 2000
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  7. 7
    Dynamic logic /
    door Harel, David
    Gepubliceerd in 2000
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  8. 8
    Computer science logic /
    Gepubliceerd in 2000
    Conferentie akten Boek
    Toevoegen aan favorieten
    Bewaard in:
  9. 9
    Handbook of practical logic and automated reasoning /
    door Harrison, John
    Gepubliceerd in 2009
    Boek
    Toevoegen aan favorieten
    Bewaard 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 /
    Gepubliceerd in 2005
    SpringerLink
    Conferentie akten E-boek
    Toevoegen aan favorieten
    Bewaard in:
  11. 11
    Computer science logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
    Gepubliceerd in 2005
    SpringerLink
    Conferentie akten E-boek
    Toevoegen aan favorieten
    Bewaard 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 /
    Gepubliceerd in 2006
    Click here to view the full text content
    Conferentie akten E-boek
    Toevoegen aan favorieten
    Bewaard 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
    E-boek
    Toevoegen aan favorieten
    Bewaard in:
  14. 14
    Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
    Gepubliceerd in 2006
    Click here to view the full text content
    Conferentie akten E-boek
    Toevoegen aan favorieten
    Bewaard in:
  15. 15
    Dag Prawitz on Proofs and Meaning /
    Gepubliceerd in 2015
    Click here to view the full text content
    E-boek
    Toevoegen aan favorieten
    Bewaard in:
  16. 16
    Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
    Gepubliceerd in 2015
    Click here to view the full text content
    E-boek
    Toevoegen aan favorieten
    Bewaard in:
  17. 17
    FM 2015: Formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Gepubliceerd in 2015
    Click here to view the full text content
    E-boek
    Toevoegen aan favorieten
    Bewaard in:
  18. 18
    Computation engineering : applied automata theory and logic /
    door Gopalakrishnan, Ganesh
    Gepubliceerd in 2006
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  19. 19
    Logic functions and equations : binary models for computer science /
    door Posthoff, Christian
    Gepubliceerd in 2004
    Boek
    Toevoegen aan favorieten
    Bewaard in:
  20. 20
    Logic for learning : learning comprehensive theories from structured data /
    door Lloyd, John W.
    Gepubliceerd in 2003
    Boek
    Toevoegen aan favorieten
    Bewaard in:
Zoekinstrumenten: Abonneren op RSS-datastromen – Zoekopdracht versturen – Sla zoekopdracht op