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
| 40.50 € |
|
auf Lager |
Versandkostenfrei innerhalb Deutschlands |
Wollen auch Sie Ihre Dissertation veröffentlichen?