Reihe Lecture Notes in Computer ScienceC. Fermüller × Resolution Methods for the Decision Problem C. FermüllerSpringer BerlineBook200553,49 € Resolution Methods for the Decision Problem C. FermüllerSpringer BerlinSoftcover199353,49 €
