Přeskočit na obsah
VuFind
  • Přihlásit
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Pokročilé
  • Frontiers of Combining Systems...
  • Vytvořit citaci
  • Zaslat SMS
  • Poslat e-mailem
  • Vytisknout
  • Exportovat záznam
    • Exportovat do RefWorks
    • Exportovat do EndNoteWeb
    • Exportovat do EndNote
  • Přidat do oblíbených
  • Trvalý odkaz
Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Logic, Symbolic and mathematical
Computer science
Artificial intelligence.
Computers
Algorithms
Artificial Intelligence
Logique symbolique et mathématique
Informatique
Ordinateurs.
Algorithmes.
Intelligence artificielle.
data processing.
computer science.
computers.
algorithms.
artificial intelligence.
Informatique.
Automatisches Beweisverfahren
Informatik
Künstliche Intelligenz
Logik
Problemlösen
Programmierlogik
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Trient (2009)
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
  • Jednotky
  • Popis
  • Komentáře
  • Podobné jednotky
  • UNIMARC/MARC
Buďte první, kdo okomentuje tento záznam!
Nejprve se musíte přihlásit.

Možnosti vyhledávání

  • Historie vyhledávání
  • Pokročilé vyhledávání

Objevte více

  • Procházení katalogu
  • Abecední procházení
  • Grafické procházení katalogu
  • Rezervace kurzů
  • Nové tituly v katalogu

Hledáte pomoc?

  • Tipy pro vyhledávání
  • Zeptejte se knihovníka
  • Často kladené otázky