GWAI-89 13th German Workshop on Artificial Intelligence - Informatik-Fachberichte
Latest Publications

TOTAL DOCUMENTS

59
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540517436, 9783642751004
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Feature-Logik

1989 ◽  
pp. 477-478 ◽  
Author(s):  
Gert Smolka

Fachseminar: Formale und Kognitive Grundlagen Von Wissensrepräsentationen

1989 ◽  
pp. 476-476
Author(s):  
D. Hernández ◽  
B. Nebel ◽  
G. Smolka ◽  
I. Wachsmuth

Modulare Expertensystemarchitekturen

1989 ◽  
pp. 359-368
Author(s):  
Ingo Syska ◽  
Roman Cunis ◽  
Andreas Günter ◽  
Heiner Bode ◽  
Heino Peters

Explanation and Connectionism

1989 ◽  
pp. 118-127 ◽  
Author(s):  
Joachim Diederich

Eqtheopogles A Completion Theorem Prover for PL1EQ

1989 ◽  
pp. 92-101
Author(s):  
Jörg Denzinger ◽  
Jürgen Müller
Keyword(s):  
Theorem Prover ◽  
Completion Theorem
Load More ...
Sign in / Sign up

Export Citation Format

Share Document