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.
Computer logic.
Knowledge based Systems.
Artificial intelligence.
Automatic theorem proving
Software engineering.
Theory of Computation.
Logic in AI.
Computer Appl. in Administrative Data Processing.
Education—Philosophy.
Computers.
Computer Science.
Programming Techniques.
Educational Philosophy.
Mathematical Logic and Formal Languages.
Learning & Instruction.
Artificial Intelligence (incl. Robotics)
Application software.
Information Systems and Communication Service.