Treffer 1 - 1 von 1 für Suche 'Tamaki, Hisao', Suchdauer: 0,07s Treffer weiter einschränken
  1. 1
    A transformation system for logic programs which preserves equivalence

    A transformation system for logic programs which preserves equivalence von Tamaki, Hisao, Sato, Taisuke

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: