Ein für Hornklauselmengen lineares, allgemeines aussagenlogisches Beweisverfahren
Seiten
1996
Utz, Herbert (Hersteller)
978-3-931327-47-7 (ISBN)
Utz, Herbert (Hersteller)
978-3-931327-47-7 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
| Reihe/Serie | Informatik |
|---|---|
| Zusatzinfo | 62 Abb., 1 Tab. |
| Sprache | deutsch |
| Maße | 145 x 205 mm |
| Gewicht | 225 g |
| Einbandart | Paperback |
| Themenwelt | Mathematik / Informatik ► Informatik |
| Schlagworte | Automatisches Beweisverfahren • HC/Informatik, EDV/Informatik |
| ISBN-10 | 3-931327-47-7 / 3931327477 |
| ISBN-13 | 978-3-931327-47-7 / 9783931327477 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
