Caferra (81 risultati)
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 31,84
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 31,84
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: Better World Books, Mishawaka, IN, U.S.A.Better World Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 40,47
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Brossura
Da: Redux Books, Grand Rapids, MI, U.S.A.Redux Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 44,23
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day.
Altre immagini- Brossura
- Prima edizione
Da: avelibro OHG, Dinkelscherben, , Germaniaavelibro OHG
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 37,00
EUR 10,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
23,5 x 15,5 cm. Condizione: 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 No…tes in Computer Science. DE-10-53 Sprache: Englisch Gewicht in Gramm: 420.
- Rilegato
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , GermaniaUniversitätsbuchhandlung Herta Hold GmbH
Contatta il venditoreVenditore con 4 stelleCondizione: Usato
EUR 31,00
EUR 30,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
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.
- Brossura
Da: libreriauniversitaria.it, Occhiobello, RO, Italialibreriauniversitaria.it
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 17,10
EUR 17,95 spedizioneSpedito da Italia a U.S.A.Quantità: 2 disponibili
Condizione: NEW.
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Caferra, Ricardo (EDT); Salzer, Gernot (EDT); Carbonell, J. G. (EDT); Siekmann, J. (EDT)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 61,27
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: As New. Unread book in perfect condition.
Altre immaginiEditore: Laterza, Bari 1992
- Brossura
Da: Invito alla Lettura, Vetralla, VT, ItaliaInvito alla Lettura
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 10,80
EUR 35,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
brossura. Condizione: 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/Ar…gomento Politica ***Books dated over 70 years old are not exportable, please do not order.***. Book.
- Brossura
Da: DRBOOKS, Roma, RM, ItaliaDRBOOKS
Contatta il venditoreVenditore con 2 stelleCondizione: Usato
EUR 10,00
EUR 30,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
'Brossura editoriale. Biblioteca di cultura moderna Laterza 1017. segni d''uso in copertina. testo in buone condizioni.'.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,50
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Chiron Media, Wallingford, , Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,88
EUR 17,91 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
PF. Condizione: New.
- Brossura
Da: Librodifaccia, Alessandria, AL, ItaliaLibrodifaccia
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 12,80
EUR 27,90 spedizioneSpedito da Italia a U.S.A.Quantità: 2 disponibili
Condizione: 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)
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 74,18
EUR 2,27 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New.
Altre immagini- Rilegato
Da: Genesis Books, Fonte Nuova, RM, ItaliaGenesis Books
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 6,00
EUR 30,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Condizione: Good. **Per foto ed ulteriori informazioni contattateci** . Buono (Good). Book.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 76,91
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. 312.
Editore: Roma, Laterza, Roma 1992
- Brossura
Da: Messinissa libri, Milano, MI, ItaliaMessinissa libri
Contatta il venditoreVenditore con 3 stelleCondizione: Usato
EUR 9,00
EUR 41,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
paperback. Condizione: 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)
- Brossura
Da: Revaluation Books, Exeter, , Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,85
EUR 11,56 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 1st edition. 297 pages. 9.25x6.00x0.75 inches. In Stock.
- Brossura
Da: moluna, Greven, , Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 48,37
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
- Brossura
Da: Biblioteca di Babele, Tarquinia, VT, ItaliaBiblioteca di Babele
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Discreto
EUR 7,00
EUR 42,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Condizione: 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. p…ag. 205.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 53,49
EUR 62,38 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: 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 resolv…ing 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.
- Rilegato
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.BennettBooksLtd
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 115,88
EUR 5,99 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
hardcover. Condizione: New. In shrink wrap. Looks like an interesting title.
Altre immagini- Brossura
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 50,25
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: 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 He…idelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Brossura
Da: librisaggi, SAN VITO ROMANO, Italialibrisaggi
Contatta il venditoreVenditore con 4 stelleCondizione: Usato - Buono
EUR 13,00
EUR 40,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
brossura Copertina flessibile. Condizione: 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.
Da: Fábula Libros (Librería Jiménez-Bravo), MADRID, M, SpagnaFábula Libros (Librería Jiménez-Bravo)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato
EUR 7,50
EUR 28,00 spedizioneSpedito da Spagna a U.S.A.Quantità: 1 disponibili
Bologna, Zanichelli, 1992, 23,5x15,5 cm, VI+272 págs.
- Brossura
Da: Biblioteca di Babele, Tarquinia, VT, ItaliaBiblioteca di Babele
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Buono
EUR 12,00
EUR 42,00 spedizioneSpedito da Italia a U.S.A.Quantità: 1 disponibili
Condizione: 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.
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 133,49
EUR 3,44 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 360.
- Rilegato
Da: Majestic Books, Hounslow, , Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 136,55
EUR 7,52 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 137,27
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 360.
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 164,18
EUR 13,85 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
