Giese, Martin.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Inklusive Didaktik = Eine symbol- und bildungstheoretische Skizze /
by:
SpringerLink (Online service); Giese, Martin.
(Language materials, printed)
, [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)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.