Librería: Better World Books Ltd, Dunfermline, Reino Unido
EUR 32,22
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Ships from the UK. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
Librería: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Alemania
EUR 17,00
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. 435 p. In very good condition. ISBN: 9780387974507 Sprache: Englisch Gewicht in Gramm: 756 16,5 x 2,5 x 24,8 cm, hardcover.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 52,79
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 59,83
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Antiquariat Seitenwechsel, Hildesheim, NI, Alemania
EUR 20,00
Cantidad disponible: 1 disponibles
Añadir al carrito0387974504, ehem. Bibliotheksexpl., Rückensignatur, Bibliotheksstempel innen, ansonsten einwandfrei, former library book, very good condition, as new 3540974504 Mit offener Rechnung beliefern wir gerne Buchhandlungen, Bibliotheken, Antiquariate, Schulen, Galerien und Institutionen. Bei neuen uns noch unbekannten privaten Kunden erlauben wir uns die Bitte um Vorauskasse. Wir bitten um Ihr Verständnis. Sprache: Deutsch Gewicht in Gramm: 800 Groß-8°, OPpbd., IX, 425 S. : with 36 illustrations.
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
EUR 67,10
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 58,30
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por Springer US 1991-01-01, 1991
ISBN 10: 1461277922 ISBN 13: 9781461277927
Librería: Chiron Media, Wallingford, Reino Unido
EUR 56,72
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: ALLBOOKS1, Direk, SA, Australia
EUR 76,02
Cantidad disponible: 1 disponibles
Añadir al carritoBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 78,62
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 446.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 90,22
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 425.
EUR 91,18
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 425.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 92,74
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 425.
Idioma: Inglés
Publicado por World Scientific Publishing Company, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 555,63
Cantidad disponible: 3 disponibles
Añadir al carritoCondición: New. In.
Idioma: Inglés
Publicado por World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 587,78
Cantidad disponible: 2 disponibles
Añadir al carritoHardback. Condición: New. Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Idioma: Inglés
Publicado por World Scientific Publishing Co Pte Ltd, SG, 2024
ISBN 10: 9811289360 ISBN 13: 9789811289361
Librería: Rarewaves.com UK, London, Reino Unido
EUR 555,61
Cantidad disponible: 2 disponibles
Añadir al carritoHardback. Condición: New. Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes - propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms - Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program verification, which do not appear frequently in logic books are discussed in detail.The useful reference text has close to 800 exercises and supplements to deepen understanding of the subject. It emphasizes proofs and overcomes technical difficulties by providing detailed arguments. Computer scientists and mathematicians will benefit from this volume.
Publicado por New York Inc.: Springer-Verlag, 1991
Librería: Antiquariat Bernhardt, Kassel, Alemania
EUR 50,39
Cantidad disponible: 1 disponibles
Añadir al carritogebundene Ausgabe. Condición: Sehr gut. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. X, 425 Seiten, Englisch 780g.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 77,67
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 446 36 Figures, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 79,71
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 446.
Librería: moluna, Greven, Alemania
EUR 47,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of .