Caferra (81 resultados)
- Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 31,84
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa blanda
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 31,84
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de AmericaBetter World Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 40,47
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
- Tapa blanda
Librería: Redux Books, Grand Rapids, MI, Estados Unidos de AmericaRedux Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 44,23
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day.
Más imágenes- Tapa blanda
- Primera edición
Librería: avelibro OHG, Dinkelscherben, , Alemaniaavelibro OHG
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 37,00
Envío por EUR 10,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
23,5 x 15,5 cm. Condición: Gut. 1. Auflage. VIII, 297 Seiten Selected Papers. - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. Untere Ecke leicht geknickt. - Lecture Notes in Artificial Intelligence 1761. Subseries of Lectur Not…es in Computer Science. DE-10-53 Sprache: Englisch Gewicht in Gramm: 420.
- Tapa dura
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , AlemaniaUniversitätsbuchhandlung Herta Hold GmbH
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado
EUR 31,00
Envío por EUR 30,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
2004th ed. 17 x 24 cm. 352 pages. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
- Tapa blanda
Librería: libreriauniversitaria.it, Occhiobello, RO, Italialibreriauniversitaria.it
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 17,10
Envío por EUR 17,95Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: NEW.
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Caferra, Ricardo (EDT); Salzer, Gernot (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 61,27
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: As New. Unread book in perfect condition.
Más imágenesEditorial: Laterza, Bari 1992
- Tapa blanda
Librería: Invito alla Lettura, Vetralla, VT, ItaliaInvito alla Lettura
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 10,80
Envío por EUR 35,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
brossura. Condición: Good. 0. In 8, br. ed. ill. col. pp. 175;prefazione di Gaetano Contento macchioline e tracce d'uso alla cop. e ai tagli, timbro " campione fuori commercio" in ultima bianca, interno in buono statoLuogo di pubblicazione BariEditore LaterzaAnno pubblicazione 1992Collana Biblioteca di cultura modernaMateria/Arg…omento Politica ***Books dated over 70 years old are not exportable, please do not order.***. Book.
- Tapa blanda
Librería: DRBOOKS, Roma, RM, ItaliaDRBOOKS
Contactar con el vendedorVendedor de 2 estrellasCondición: Usado
EUR 10,00
Envío por EUR 30,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
'Brossura editoriale. Biblioteca di cultura moderna Laterza 1017. segni d''uso in copertina. testo in buone condizioni.'.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,50
Envío por EUR 13,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, , Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 56,88
Envío por EUR 17,91Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: Librodifaccia, Alessandria, AL, ItaliaLibrodifaccia
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 12,80
Envío por EUR 27,90Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: Buone. italiano Condizioni dell'esterno: Discrete con difetti, bruniture Condizioni dell'interno: Discrete con Difetti, sottolineature.
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Caferra, Ricardo (EDT); Salzer, Gernot (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT)
- Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,18
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Condición: New.
Más imágenes- Tapa dura
Librería: Genesis Books, Fonte Nuova, RM, ItaliaGenesis Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 6,00
Envío por EUR 30,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. **Per foto ed ulteriori informazioni contattateci** . Buono (Good). Book.
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 76,91
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 312.
Editorial: Roma, Laterza, Roma 1992
- Tapa blanda
Librería: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contactar con el vendedorVendedor de 3 estrellasCondición: Usado
EUR 9,00
Envío por EUR 41,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
paperback. Condición: Ottimo (Fine). ST1162Opera con copertina morbida in brossuraVII, 205 p. ; 21 cm. Book.
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
Caferra, Ricardo (Editor)/ Salzer, Gernot (Editor)/ Carbonell, J. G. (Editor)/ Siekmann, J. (Editor)
- Tapa blanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,85
Envío por EUR 11,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Paperback. Condición: Brand New. 1st edition. 297 pages. 9.25x6.00x0.75 inches. In Stock.
- Tapa blanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 48,37
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
- Tapa blanda
Librería: Biblioteca di Babele, Tarquinia, VT, ItaliaBiblioteca di Babele
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Regular
EUR 7,00
Envío por EUR 42,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: DISCRETO USATO. IED. Biblioteca di Cultura Moderna Laterza ITALIANO Brossura filo refe vintage, vol. 1017 della collana, copertina segnata da compressione e attrito maggiormente alle estremità, pigmento seriamente alterato dalla luce e appesantito da fitte velature di polvere, fogli ben tenuti, ossidati i tagli. N. pa…g. 205.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 62,38Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order setting, or by resolvi…ng shortcomings of r st-order logic with the help of higher-order notions. Most papers rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm. In its entirety the volume is a mirror of contemporary research in r st-order theorem proving. One trend to be observed is the interest in e ective decision procedures. The main aim of rs t-order theorem proving was and still is to demonstrate the validity or unsatisa bility of formulas, by more and more - phisticatedmethods. Withinthelastyears,however,theothersideofthemedal{ falsi abilityand satisab ility { has r eceived growing attention. Though in g- eral non-terminating, theorem provers sometimes act as decision procedures on subclasses ofrs t-order logic. Inparticularcases theiroutputcanevenbeused to extract n ite representations of models or counter-examples. Another devel- mentistheextension ofdeductiontechniquesfromclassicallogictomany-valued and modal logics. By suitably generalizing classical concepts many results carry over to non-classical logics. This line of research is stimulated by artici al int- ligence with its need for more expressive logics capable of modeling real-world reasoning. From a formal point of view this volume comprises two types of papers, invited and contributed ones. Gilles Dowek, Melvin Fitting, Deepak Kapur, Alexander Leitsch, and David Plaisted accepted our invitation to present recent developments in and their view of the e ld. Contributed papers on the other hand underwent a two-staged selection process.
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 115,88
Envío por EUR 5,99Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.
Más imágenes- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 50,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. Automated Deduction in Classical and Non-Classical Logics | Selected Papers | Ricardo Caferra (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2000 | Springer | EAN 9783540671909 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Hei…delberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: librisaggi, SAN VITO ROMANO, Italialibrisaggi
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 13,00
Envío por EUR 40,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
brossura Copertina flessibile. Condición: Good. Condizione: Buono. Libro già letto ma in buone condizioni generali. Copertina leggermente ombrata con lievi segni d'uso ai margini. Copertina flessibile 221 8808036588 Buono (Good) . Book.
Librería: Fábula Libros (Librería Jiménez-Bravo), MADRID, M, EspañaFábula Libros (Librería Jiménez-Bravo)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 7,50
Envío por EUR 28,00Se envía de España a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Bologna, Zanichelli, 1992, 23,5x15,5 cm, VI+272 págs.
- Tapa blanda
Librería: Biblioteca di Babele, Tarquinia, VT, ItaliaBiblioteca di Babele
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 12,00
Envío por EUR 42,00Se envía de Italia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: BUONO USATO. ITALIANO Brossura filo refe con risvolti, segnata da classiche tracce da conservazione, impronte d'uso, striature da contatto e sofferenze nel patinato la copertina illustrata, fogli e tagli, in calda tonalità avorio, puliti e ben preservati. N. pag. 267.
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 133,49
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 360.
- Tapa dura
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 136,55
Envío por EUR 7,52Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Tapa dura
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 137,27
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New. pp. 360.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 164,18
Envío por EUR 13,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
