Journals in DBLP

KI
1998, volume: 12, number: 4

1. Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
   Automated Deduction: a Technological Point of View. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:7-14 [Journal]
   
2. Reinhold Letz, Christoph Weidenbach
   Paradigmen und Perspektiven der automatischen Deduktion. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:15-19 [Journal]
   
3. Reinhard Bündgen, Alfons Geser
   Formale Hardware-Verifikation mit Termersetzung. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:19-24 [Journal]
   
4. Ulrich Dorndorf, Andreas Drexl, Erwin Pesch, Toàn Phan Huy
   Adaptive Suchverfahren zur Projektplanung bei beschränkten Ressourcen. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:25-32 [Journal]
   
5. Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt
   Wohin geht die automatische Deduktion? [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:33-37 [Journal]
   
6. Wolfgang Bibel
   DFG-Schwerpunktprogramm ``Deduktion''. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:38-40 [Journal]
   
7. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
   Integrierter Deduktiver Software-Entwurf. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:40-41 [Journal]
   
8. Wolfgang Reif
   Interaktives Theorembeweisen und seine Anwendungen in der Softwaretechnik. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:42-48 [Journal]
   
9. Johann Schumann
   Verifikation von Authentifikationsprotokollen mit Automatischen Beweisern. [Citation Graph (0, 0)][DBLP]
   KI, 1998, v:12, n:4, pp:48-53 [Journal]
   
10. Stefan K. Bamberger, Sabine Schwingeler, Susanne Ziegler
    KBA-D3: ein wissensbasiertes Diagnose- und Informationssystem für Druckmaschinen. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:54-59 [Journal]
    
11. Peter H. Schmitt
    Serviceteil Deduktion und Anwendungen. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:64- [Journal]