The Disconnection Calculus
Gernot Stenz
ISBN 978-3-8325-0070-2
193 Seiten, Erscheinungsjahr: 2002
Preis: 40.50 €
Keywords:
- Logik
- Theorembeweise
- Tableauverfahren
- Suchraumreduktion
- Parallelosierung
Kaufoptionen
Versandkostenfrei innerhalb Deutschlands |
Wollen auch Sie Ihre Dissertation veröffentlichen?