50,90 €
Versandkostenfrei per Post / DHL
Lieferzeit 2-4 Werktage
This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.
| Erscheinungsjahr: | 1996 |
|---|---|
| Fachbereich: | Arithmetik & Algebra |
| Genre: | Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
xiv
294 S. |
| ISBN-13: | 9783540610403 |
| ISBN-10: | 3540610405 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Graf, Peter |
| Hersteller: |
Springer Berlin
Springer Berlin Heidelberg |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 17 mm |
| Von/Mit: | Peter Graf |
| Erscheinungsdatum: | 27.03.1996 |
| Gewicht: | 0,47 kg |
Ähnliche Produkte
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 2-4 Werktage
Lieferzeit 1-2 Werktage