The computational complexity of logical theories. (Lecture notes in mathematics, vol.718).Springer Berlin, 1979
6 Angebote vergleichen
Preise | 2013 | 2014 | 2015 | 2017 | 2020 |
---|---|---|---|---|---|
Schnitt | € 31,40 | € 42,49 | € 63,42 | € 47,99 | € 51,39 |
Nachfrage |
1
The Computational Complexity of Logical Theories (1979)
DE PB NW RP
ISBN: 9783540095019 bzw. 3540095012, in Deutsch, Springer Jul 1979, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, NDS, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - and background.- Ehrenfeucht games and decision procedures.- Integer addition An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds. 256 pp. Englisch.
This item is printed on demand - Print on Demand Titel. Neuware - and background.- Ehrenfeucht games and decision procedures.- Integer addition An example of an Ehrenfeucht game decision procedure.- Some additional upper bounds.- Direct products of theories.- Lower bound preliminaries.- A technique for writing short formulas defining complicated properties.- A lower bound on the theories of pairing functions.- Some additional lower bounds. 256 pp. Englisch.
2
The Computational Complexity of Logical Theories (Lecture Notes in Mathematics)
DE PB US
ISBN: 9783540095019 bzw. 3540095012, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Crashing Rocks Books [55397785], Punta Gorda, FL, U.S.A.
3540095012 USED BOOK in good condition| No supplements| Normal wear to cover, edges, spine, corners, and pages | Writing / highlighting | Inventory stickers | Satisfaction guaranteed!
3540095012 USED BOOK in good condition| No supplements| Normal wear to cover, edges, spine, corners, and pages | Writing / highlighting | Inventory stickers | Satisfaction guaranteed!
3
The Computational Complexity of Logical Theories (1979)
~EN PB NW
ISBN: 9783540095019 bzw. 3540095012, vermutlich in Englisch, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
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…