Suchergebnisse - Masalagiu, Cristian

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Bidirectional attribute evaluation
    von Andrei, Ştefan 1970-, Kudlek, Manfred, Masalagiu, Cristian

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    The resolution principle: complexity estimations for the class of propositional calculus formulae
    von Andrei, Ştefan 1970-, Kudlek, Manfred, Masalagiu, Cristian

    Veröffentlicht 2001
    Buch


    Gespeichert in:

Suchwerkzeuge: