Doporučená témata ve výsledcích tohoto hledání:
Zobrazuji výsledky 1 - 20 z 334 pro vyhledávání '', doba hledání: 0,05 s. Upřesnit hledání
  1. 1
    Understanding computers' intelligence : celebrating the 100th volume of Fundamenta Informaticae in honour of Helena Rosiowa /
    Vydáno 2010
    Kniha
    Přidat do oblíbených
    Uloženo v:
  2. 2
    Transition to higher mathematics : structure and proof /
    Autor Dumas, Bob A.
    Vydáno 2007
    Kniha
    Přidat do oblíbených
    Uloženo v:
  3. 3
    Introduction to mathematical logic /
    Autor Walicki, Michał
    Vydáno 2012
    Kniha
    Přidat do oblíbených
    Uloženo v:
  4. 4
    Proceedings of the 11th Asian Logic Conference : in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009 /
    Vydáno 2012
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
  5. 5
    Proofs and algorithms : an introduction to logic and computability /
    Autor Dowek, Gilles
    Vydáno 2011
    Kniha
    Přidat do oblíbených
    Uloženo v:
  6. 6
    A science of operations : machines, logic and the invention of programming /
    Autor Priestley, Mark
    Vydáno 2010
    Kniha
    Přidat do oblíbených
    Uloženo v:
  7. 7
    Qualitative spatial and temporal reasoning /
    Autor Ligozat, Gerard
    Vydáno 2012
    Kniha
    Přidat do oblíbených
    Uloženo v:
  8. 8
    Mathematical epistemology and psychology /
    Autor Beth, Evert Willem
    Vydáno 1966
    Kniha
    Přidat do oblíbených
    Uloženo v:
  9. 9
    Algebraic modeling systems : modeling and solving real world optimization problems /
    Vydáno 2012
    Kniha
    Přidat do oblíbených
    Uloženo v:
  10. 10
    Computational logic and human thinking : how to be artificially intelligent /
    Autor Kowalski, Robert
    Vydáno 2011
    Kniha
    Přidat do oblíbených
    Uloženo v:
  11. 11
    Tractatus logico-philosophicus /
    Autor Wittgenstein, Ludwig
    Vydáno 2001
    Kniha
    Přidat do oblíbených
    Uloženo v:
  12. 12
    Logic and specification : extending VDM-SL for advanced formal specification /
    Autor Middelburg, Cornelis A.
    Vydáno 1993
    Kniha
    Přidat do oblíbených
    Uloženo v:
  13. 13
    Lectures in logic and set theory : mathematical logic /
    Autor Tourlakis, George
    Vydáno 2003
    Kniha
    Přidat do oblíbených
    Uloženo v:
  14. 14
    Introduction to digital logic design /
    Autor Hayes, John P.
    Vydáno 1993
    Kniha
    Přidat do oblíbených
    Uloženo v:
  15. 15
    Logics in artificial intelligence : European workshop, JELIA 2000, Malaga, Spain, September 29-October 2, 2000 : proceedings /
    Vydáno 2000
    Kniha
    Přidat do oblíbených
    Uloženo v:
  16. 16
    Dynamic formal epistemology /
    Vydáno 2011
    Konferenční příspěvek Kniha
    Přidat do oblíbených
    Uloženo v:
  17. 17
    Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
    Autor Schroder, Bernd S. W.
    Vydáno 2010
    Kniha
    Přidat do oblíbených
    Uloženo v:
  18. 18
    Handbook of mathematical induction : theory and applications /
    Autor Gunderson, David S.
    Vydáno 2011
    Kniha
    Přidat do oblíbených
    Uloženo v:
  19. 19
    Discrete structures with contemporary applications /
    Autor Stanoyevitch, Alexander
    Vydáno 2011
    Kniha
    Přidat do oblíbených
    Uloženo v:
  20. 20
    An introduction to practical formal methods using temporal logic /
    Autor Fisher, Michael
    Vydáno 2011
    Kniha
    Přidat do oblíbených
    Uloženo v:
Vyhledávací nástroje: RSS – Poslat e-mailem – Uložit hledání