Skip to content
VuFind
  • Login
    • 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
Udvidet
  • Automated reasoning and mathem...
  • Citér dette
  • Stav dette
  • Email dette
  • Udskriv
  • Eksportér post
    • Eksportér til RefWorks
    • Eksportér til EndNoteWeb
    • Eksportér til EndNote
  • Føj til favoritter
  • Permanent link
Omslagsbillede

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
Artificial intelligence.
Computer logic.
Artificial Intelligence
Intelligence artificielle.
Logique informatique.
artificial intelligence.
Artificial intelligence
Computer logic
Computer science.
Logic design.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Math Applications in Computer Science.
computerwetenschappen
computer sciences
wiskunde
mathematics
kunstmatige intelligentie
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Llibres electrònics.
Festschriften
Festschriften.
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
  • Beholdninger
  • Beskrivelse
  • Kommentar
  • Lignende værker
  • Medarbejdervisning
Vær først til at give en kommentarø!
Du skal først være logget ind

Søgemuligheder

  • Søg Historie
  • Udvidet søgning

Find flere

  • Gennemse kataloget
  • Gennemse alfabetisk
  • Explore Channels
  • Kursusreservationer
  • Nye værker

Har du brug for hjælp?

  • Søgetips
  • Spørg en bibliotekar
  • FAQ’er