Caferra (81 Ergebnisse)
- Softcover
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 31,84
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 31,84
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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
Anbieter: Better World Books, Mishawaka, IN, USABetter World Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 40,47
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: 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
Anbieter: Redux Books, Grand Rapids, MI, USARedux Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 44,23
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day.
Weitere Bilder- Softcover
- Erstausgabe
Anbieter: avelibro OHG, Dinkelscherben, , Deutschlandavelibro OHG
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 37,00
EUR 10,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
23,5 x 15,5 cm. Zustand: 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 Notes… in Computer Science. DE-10-53 Sprache: Englisch Gewicht in Gramm: 420.
- Hardcover
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, , DeutschlandUniversitätsbuchhandlung Herta Hold GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 31,00
EUR 30,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
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
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italienlibreriauniversitaria.it
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 17,10
EUR 17,95 VersandVersand von Italien nach USAAnzahl: 2 verfügbar
Zustand: 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
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 61,27
EUR 2,27 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: As New. Unread book in perfect condition.
Weitere BilderVerlag: Laterza, Bari 1992
- Softcover
Anbieter: Invito alla Lettura, Vetralla, VT, ItalienInvito alla Lettura
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 10,80
EUR 35,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
brossura. Zustand: 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/Argom…ento Politica ***Books dated over 70 years old are not exportable, please do not order.***. Book.
- Softcover
Anbieter: DRBOOKS, Roma, RM, ItalienDRBOOKS
Verkäufer/-in kontaktierenVerkäufer/-in mit 2 SternenZustand: Gebraucht
EUR 10,00
EUR 30,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
'Brossura editoriale. Biblioteca di cultura moderna Laterza 1017. segni d''uso in copertina. testo in buone condizioni.'.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,50
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, , Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,88
EUR 17,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
- Softcover
Anbieter: Librodifaccia, Alessandria, AL, ItalienLibrodifaccia
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 12,80
EUR 27,90 VersandVersand von Italien nach USAAnzahl: 2 verfügbar
Zustand: 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
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 74,18
EUR 2,27 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
Weitere Bilder- Hardcover
Anbieter: Genesis Books, Fonte Nuova, RM, ItalienGenesis Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 6,00
EUR 30,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
Zustand: Good. **Per foto ed ulteriori informazioni contattateci** . Buono (Good). Book.
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 76,91
EUR 3,44 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 312.
Verlag: Roma, Laterza, Roma 1992
- Softcover
Anbieter: Messinissa libri, Milano, MI, ItalienMessinissa libri
Verkäufer/-in kontaktierenVerkäufer/-in mit 3 SternenZustand: Gebraucht
EUR 9,00
EUR 41,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
paperback. Zustand: 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
Anbieter: Revaluation Books, Exeter, , Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 78,85
EUR 11,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 297 pages. 9.25x6.00x0.75 inches. In Stock.
- Softcover
Anbieter: moluna, Greven, , Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Biblioteca di Babele, Tarquinia, VT, ItalienBiblioteca di Babele
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 7,00
EUR 42,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
Zustand: 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. pag.… 205.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 62,38 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 resolving… 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
Anbieter: BennettBooksLtd, Los Angeles, CA, USABennettBooksLtd
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 115,88
EUR 5,99 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: 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 Heide…lberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
- Softcover
Anbieter: librisaggi, SAN VITO ROMANO, Italienlibrisaggi
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Befriedigend
EUR 13,00
EUR 40,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
brossura Copertina flessibile. Zustand: 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.
Anbieter: Fábula Libros (Librería Jiménez-Bravo), MADRID, M, SpanienFábula Libros (Librería Jiménez-Bravo)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 7,50
EUR 28,00 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
Bologna, Zanichelli, 1992, 23,5x15,5 cm, VI+272 págs.
- Softcover
Anbieter: Biblioteca di Babele, Tarquinia, VT, ItalienBiblioteca di Babele
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 12,00
EUR 42,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
Zustand: 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
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 133,49
EUR 3,44 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Zustand: New. pp. 360.
- Hardcover
Anbieter: Majestic Books, Hounslow, , Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 136,55
EUR 7,52 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: 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
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 137,27
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New. pp. 360.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 164,18
EUR 13,85 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
