Von dem Buch Term Indexing (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Graf, Peter: Term Indexing (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) (ISBN: 9783540610403) 1996, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
50%: Peter Graf: Term Indexing (ISBN: 9783540498735) in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
Term Indexing (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
9 Angebote vergleichen
| Preise | 2014 | 2015 | 2017 | 2019 | 2021 |
|---|---|---|---|---|---|
| Schnitt | € 83,31 | € 85,35 | € 69,87 | € 74,89 | € 74,89 |
| Nachfrage |
1
Term Indexing (Paperback) (1996)
DE PB NW RPISBN: 9783540610403 bzw. 3540610405, in Deutsch, Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, Taschenbuch, neu, Nachdruck.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. 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.
Von Händler/Antiquariat, The Book Depository EURO [60485773], Slough, United Kingdom.
Language: English Brand New Book ***** Print on Demand *****.Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. 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.
2
Term Indexing
DE PB NWISBN: 9783540610403 bzw. 3540610405, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.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.1996. xiv, 294 S. XIV, 284 pp.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.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.1996. xiv, 294 S. XIV, 284 pp.Versandfertig in 3-5 Tagen, Softcover.
3
Term Indexing
DE PB NWISBN: 9783540610403 bzw. 3540610405, in Deutsch, Springer, Berlin, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
buecher.de GmbH & Co. KG, [1].
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.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.xiv, 294 S. XIV, 284 pp.Versandfertig in 3-5 Tagen, Softcover.
buecher.de GmbH & Co. KG, [1].
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties.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.xiv, 294 S. XIV, 284 pp.Versandfertig in 3-5 Tagen, Softcover.
4
Term Indexing
~EN PB NWISBN: 9783540610403 bzw. 3540610405, vermutlich in Englisch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Deutschland, Lagernd.
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. 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. Soft cover.
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. 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. Soft cover.
5
Term Indexing
~EN NW EB DLISBN: 9783540498735 bzw. 3540498737, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. 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. eBook.
Term indexing supports the construction of efficient automated reasoning systems, as e.g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. 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. eBook.
6
| Term Indexing | Springer | 1995 | 1996
DE NWISBN: 9783540610403 bzw. 3540610405, in Deutsch, Springer, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
Term Indexing
DE NW EBISBN: 9783540498735 bzw. 3540498737, in Deutsch, Springer Science+Business Media, neu, E-Book.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Term Indexing
DE NWISBN: 9783540610403 bzw. 3540610405, in Deutsch, Springer Science+Business Media, neu.
Lieferung aus: Deutschland, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…