Obálka

Summary goes here

Uloženo v:
Podrobná bibliografie
Médium: Kniha
Jazyk:angličtina
Témata:
Automatic theorem proving
Computer logic
Théorèmes
Logique informatique
Informatique.
Computer science.
Software engineering.
Logic design.
Electronic data processing.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Mathematics of Computing.
Numeric Computing.
computerwetenschappen
computer sciences
numerieke methoden
numerical methods
computertechnieken
computer techniques
computerwiskunde
computational mathematics
kunstmatige intelligentie
wiskunde
mathematics
logica
logic
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!