Artículos relacionados a The Computational Complexity of Logical Theories: 718...
The Computational Complexity of Logical Theories: 718 (Lecture Notes in Mathematics, 718) - Tapa blanda
Sinopsis
Book by Ferrante J Rackoff C W
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para The Computational Complexity of Logical Theories: 718...
Imagen del vendedor
The Computational Complexity of Logical Theories Lecture Notes in Mathematics, 718
Publicado por
Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Antiguo o usado
Broschiert
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
Broschiert. Condición: Gut. 243 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 440. Nº de ref. del artículo: 2206747
Comprar usado
EUR 18,95
Envío por EUR 15,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Computational Complexity of Logical Theories
Publicado por
Springer, Berlin, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Antiguo o usado
Softcover
Librería: Attic Books (ABAC, ILAB), London, ON, Canada
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Very good. Lectures Notes in Mathematics. x, 243 p. 24 cm. Paperback. Light wear. Ink signature on first leaf. Nº de ref. del artículo: 134246
Comprar usado
EUR 22,14
Envío por EUR 12,90
Se envía de Canada a Estados Unidos de America
Se envía de Canada a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computational Complexity of Logical Theories
Librería: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Nº de ref. del artículo: OTV.3540095012.G
Comprar usado
EUR 38,70
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Lecture Notes in Mathematics: The Computational Complexity of Logical Theories (Volume 718)
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Volume 718. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,500grams, ISBN:3540095012. Nº de ref. del artículo: 5775807
Comprar usado
EUR 27,79
Envío por EUR 15,82
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Computational Complexity of Logical Theories. Lecture notes in mathematics; 718.
Publicado por
Berlin, Springer, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Antiguo o usado
Softcover
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
Softcover. Condición: Gut. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. C-01049 3540095012 Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 2484896
Comprar usado
EUR 18,90
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
The Computational Complexity of Logical Theories
Publicado por
Springer Berlin Heidelberg Jul 1979, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - 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. Nº de ref. del artículo: 9783540095019
Comprar nuevo
EUR 48,14
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Computational Complexity of Logical Theories
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540095019_new
Comprar nuevo
EUR 60,87
Envío por EUR 13,94
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
The Computational Complexity of Logical Theories
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540095019
Comprar nuevo
EUR 57,24
Envío por EUR 18,02
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
The Computational Complexity of Logical Theories
Publicado por
Springer Berlin Heidelberg, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 4880478
Comprar nuevo
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
The Computational Complexity of Logical Theories
Publicado por
Springer, Springer Vieweg Jul 1979, 1979
ISBN 10: 3540095012
ISBN 13: 9783540095019
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 256 pp. Englisch. Nº de ref. del artículo: 9783540095019
Comprar nuevo
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles