gefundene Verfasser Cheikhrouhou, Lassaad

1. 1
   

   Adaption of declaratively represented methods in proof planning von Huang, Xiaorong, Kerber, Manfred, Cheikhrouhou, Lassaad

   Veröffentlicht 1995

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: