Giese, Martin.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Inklusive Didaktik = Eine symbol- und bildungstheoretische Skizze /
by:
SpringerLink (Online service); Giese, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Automated reasoning with analytic tableaux and related methods = 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Waaler, Arild.; Giese, Martin.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings /
by:
SpringerLink (Online service); Kliegr, Tomáš.; Giese, Martin.; Gutiérrez-Basulto, Víctor.; Roman, Dumitru.; Soylu, Ahmet.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Instruction.
Knowledge representation (Information theory) .
Learning.
Software Engineering/Programming and Operating Systems.
Knowledge based Systems.
Computer logic.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Computer Appl. in Administrative Data Processing.
Logic in AI.
Theory of Computation.
Education—Philosophy.
Computer Science.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Application software.
Information Systems and Communication Service.
Computers.
Educational Philosophy.
Learning & Instruction.