Importe total (1 artículo artículos):
Destino del pedido:
socher ambrosius (26 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (26)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (13)
- Como nuevo, Excelente o Muy bueno (4)
- Bueno o Aceptable (5)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (4)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (4)
- No impresión bajo demanda (21)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Deduktionssysteme
Librería: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Alemania
Miembro de asociación: BOEV
Calificación del vendedor: 5 de 5 estrellas
EUR 3,80
Envío por EUR 15,90
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito03. Condición: Wie neu. 1994. 186 S. Sprache: Deutsch.
-
Deduktionssysteme
Librería: Martin Preuß / Akademische Buchhandlung Woetzel, Kerzenheim, Alemania
Miembro de asociación: BOEV
Calificación del vendedor: 5 de 5 estrellas
EUR 7,60
Envío por EUR 15,90
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito04. Condición: Wie neu. 1994. 186 S., flex.kart. In diesem Buch werden die grundlegenden Konzepte und Methoden des automatischen Beweisens für die klassische Logik erster Stufe ohne Gleichheit dargestellt. Die konsequente Orientierung an abstrakten Inferenzsystemen hat den Vorteil, daß die logische Str Sprache: Deutsch.
-
Deduction Systems (Texts in Computer Science)
Libro 24 de 83: Texts in Computer ScienceLibrería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 49,93
Envío por EUR 3,28
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Better World Books Ltd, Dunfermline, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 49,61
Envío por EUR 5,88
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 68,74
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad 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.
-
Deduction Systems (Texts in Computer Science)
Libro 24 de 83: Texts in Computer ScienceLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 61,52
Envío por EUR 14,09
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 57,85
Envío por EUR 18,21
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 78,86
Envío por EUR 3,49
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 224.
-
Deduktionssysteme.
Idioma: Alemán
Publicado por Mannheim, BI-Wiss.-Verl., 1994
ISBN 10: 3411171715 ISBN 13: 9783411171712
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
EUR 5,00
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Gut. 186 S. ; Mit zahlr. Abb.; 21 cm, Guter Zustand. Sprache: Deutsch Gewicht in Gramm: 365.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 85,81
Envío por EUR 3,49
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 206 1st Edition.
-
Deduction Systems (Texts in Computer Science)
Libro 24 de 83: Texts in Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 78,89
Envío por EUR 11,76
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 218 pages. 9.53x6.69x0.55 inches. In Stock.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 84,43
Envío por EUR 7,64
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 206.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 85,31
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Used. pp. 206.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 50,40
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Deduction Systems | Rolf Socher-Ambrosius (u. a.) | Taschenbuch | Texts in Computer Science | xii | Englisch | 2011 | Humana | EAN 9781461274797 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Deduction Systems (Texts in Computer Science)
Libro 24 de 83: Texts in Computer ScienceLibrería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 121,69
Envío por EUR 6,08
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
-
Wissensverarbeitung. Eine Einführung.
Idioma: Alemán
Publicado por Spektrum Akademischer Verlag Heidelberg, 1999
ISBN 10: 3827403081 ISBN 13: 9783827403087
Librería: Antiquariat Deinbacher, Murstetten, Austria
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 23,00
Envío por EUR 42,00
Se envía de Austria a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito8° , Softcover/Paperback. 1.Auflage,. 326 Seiten Einband etwas berieben, Bibl.Ex., innen guter und sauberer Zustand 9783827403087 Sprache: Deutsch Gewicht in Gramm: 605.
-
Deduction Systems
Idioma: Inglés
Publicado por Springer Nature, 1997
Librería: Books in my Basket, New Delhi, India
Calificación del vendedor: 5 de 5 estrellas
EUR 115,38
Envío por EUR 18,00
Se envía de India a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoN.A. Condición: New. ISBN:9780387948478.
-
Deduktionssysteme
Librería: Kalligramm, Berlin, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 6,00
Envío por EUR 90,85
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Sehr gut. M-Stempel-a.unteren Buchschnitt.
-
Wissensverarbeitung. : Eine Einführung.
Idioma: Alemán
Publicado por Spektrum-Akademischer Vlg, 1999
ISBN 10: 3827403081 ISBN 13: 9783827403087
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 7,95
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. Zustand: Gut | Seiten: 310 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Wissensverarbeitung. : Eine Einführung.
Idioma: Alemán
Publicado por Spektrum-Akademischer Vlg, 1999
ISBN 10: 3827403081 ISBN 13: 9783827403087
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 8,10
Envío por EUR 105,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 8 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 310 | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
Wissensverarbeitung: Eine Einf Hrung (German Edition)
Idioma: Alemán
Publicado por Spektrum-Akademischer Vlg, 1999
ISBN 10: 3827403081 ISBN 13: 9783827403087
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 159,86
Envío por EUR 29,40
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book.
-
Deduction Systems (eng)
Libro 24 de 83: Texts in Computer ScienceLibrería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
EUR 46,22
Envío por EUR 5,50
Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 79,35
Envío por EUR 7,64
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 224 34 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 79,69
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 224.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 47,23
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de AmericaCantidad 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. The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Frege s 1879 Begriffsschrift- not only the direct ancestor of.
-
Deduction Systems
Libro 24 de 83: Texts in Computer ScienceIdioma: Inglés
Publicado por Springer, Humana Sep 2011, 2011
ISBN 10: 1461274796 ISBN 13: 9781461274797
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Frege's 1879 Begriffsschrift-'not only the direct ancestor of contemporary systems of mathematical logic, but also the ancestor of all formal languages, including computer programming languages' ([Dav83])-that the fundamental concepts of modern mathematical logic were developed. Whitehead and Russell showed in their Principia Mathematica that the entirety of classical mathematics can be developed within the framework of a formal calculus, and in 1930, Skolem, Herbrand, and Godel demonstrated that the first-order predicate calculus (which is such a calculus) is complete, i. e. , that every valid formula in the language of the predicate calculus is derivable from its axioms. Skolem, Herbrand, and GOdel further proved that in order to mechanize reasoning within the predicate calculus, it suffices to Herbrand consider only interpretations of formulae over their associated universes. We will see that the upshot of this discovery is that the validity of a formula in the predicate calculus can be deduced from the structure of its constituents, so that a machine might perform the logical inferences required to determine its validity. With the advent of computers in the 1950s there developed an interest in automatic theorem proving.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 224 pp. Englisch.
