Caferra (81 results)
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
£ 27.54
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Good
£ 27.54
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Hardcover
Seller: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contact seller5-star sellerCondition: Used - Very good
£ 35.00
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: Redux Books, Grand Rapids, MI, U.S.A.Redux Books
Contact seller5-star sellerCondition: New
£ 38.25
Free ShippingShips within U.S.A.Quantity: 1 available
Paperback. Condition: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day.
More images- Softcover
- First Edition
Seller: avelibro OHG, Dinkelscherben, , Germanyavelibro OHG
Contact seller5-star sellerCondition: Used - Very good
£ 32.96
£ 8.65 shippingShips from Germany to U.S.A.Quantity: 1 available
23,5 x 15,5 cm. Condition: 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.
- Hardcover
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , GermanyUniversitätsbuchhandlung Herta Hold GmbH
Contact seller4-star sellerCondition: Used
£ 27.61
£ 25.94 shippingShips from Germany to U.S.A.Quantity: 1 available
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.
- Softcover
Seller: libreriauniversitaria.it, Occhiobello, RO, Italylibreriauniversitaria.it
Contact seller4-star sellerCondition: New
£ 15.23
£ 15.52 shippingShips from Italy to U.S.A.Quantity: 2 available
Condition: NEW.
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Caferra, Ricardo (EDT); Salzer, Gernot (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 52.98
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: As New. Unread book in perfect condition.
More imagesPublished by Laterza, Bari 1992
- Softcover
Seller: Invito alla Lettura, Vetralla, VT, ItalyInvito alla Lettura
Contact seller5-star sellerCondition: Used - Good
£ 9.62
£ 30.27 shippingShips from Italy to U.S.A.Quantity: 1 available
brossura. Condition: 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.
- Softcover
Seller: DRBOOKS, Roma, RM, ItalyDRBOOKS
Contact seller2-star sellerCondition: Used
£ 8.91
£ 25.94 shippingShips from Italy to U.S.A.Quantity: 1 available
'Brossura editoriale. Biblioteca di cultura moderna Laterza 1017. segni d''uso in copertina. testo in buone condizioni.'.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.76
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Librodifaccia, Alessandria, AL, ItalyLibrodifaccia
Contact seller5-star sellerCondition: Used - Good
£ 11.40
£ 24.13 shippingShips from Italy to U.S.A.Quantity: 2 available
Condition: 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)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 64.15
£ 1.97 shippingShips within U.S.A.Quantity: 15 available
Condition: New.
More images- Hardcover
Seller: Genesis Books, Fonte Nuova, RM, ItalyGenesis Books
Contact seller5-star sellerCondition: Used - Good
£ 5.34
£ 25.94 shippingShips from Italy to U.S.A.Quantity: 1 available
Condition: Good. **Per foto ed ulteriori informazioni contattateci** . Buono (Good). Book.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 66.51
£ 2.97 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 312.
Published by Roma, Laterza, Roma 1992
- Softcover
Seller: Messinissa libri, Milano, MI, ItalyMessinissa libri
Contact seller3-star sellerpaperback. Condition: 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)
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.20
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 297 pages. 9.25x6.00x0.75 inches. In Stock.
- Softcover
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
£ 43.08
£ 42.37 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Biblioteca di Babele, Tarquinia, VT, ItalyBiblioteca di Babele
Contact seller5-star sellerCondition: Used - Fair
£ 6.24
£ 36.32 shippingShips from Italy to U.S.A.Quantity: 1 available
Condition: 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.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.64
£ 53.95 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: 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.
- Hardcover
Seller: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contact seller5-star sellerCondition: New
£ 100.21
£ 5.18 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: New. In shrink wrap. Looks like an interesting title.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.76
£ 60.53 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: 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.
- Softcover
Seller: librisaggi, SAN VITO ROMANO, Italylibrisaggi
Contact seller4-star sellerCondition: Used - Good
£ 11.58
£ 34.59 shippingShips from Italy to U.S.A.Quantity: 1 available
brossura Copertina flessibile. Condition: 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.
Seller: Fábula Libros (Librería Jiménez-Bravo), MADRID, M, SpainFábula Libros (Librería Jiménez-Bravo)
Contact seller5-star sellerBologna, Zanichelli, 1992, 23,5x15,5 cm, VI+272 págs.
- Softcover
Seller: Biblioteca di Babele, Tarquinia, VT, ItalyBiblioteca di Babele
Contact seller5-star sellerCondition: Used - Good
£ 10.69
£ 36.32 shippingShips from Italy to U.S.A.Quantity: 1 available
Condition: 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.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 115.44
£ 2.97 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 360.
- Hardcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 118.08
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Hardcover
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 122.27
£ 8.60 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: New. pp. 360.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 137.84
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
