Gesamtpreis (1 Artikel Artikel):
Versandziel:
caferra (74 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (74)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
Weitere Eigenschaften
- Erstausgabe (4)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (37)
- Keine Print-on-Demand Angebote (69)
Sprache (5)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 2000
ISBN 10: 3540671900 ISBN 13: 9783540671909
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Anbieter: Redux Books, Grand Rapids, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. An Unused, unmarked and unblemished copy. Still in plastic packaging!; 100% Satisfaction Guaranteed! Ships same or next business day!
-
Automated deduction in classical and non-classical logic
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
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.
-
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
La questione del potere giudiziario
Anbieter: libreriauniversitaria.it, Occhiobello, RO, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: NEW.
-
Automated Model Building (Applied Logic Series, 31).
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Il sistema della corruzione . Le ragioni i soggetti i luoghi
Verlag: Il sistema della corruzione . Le ragioni i soggetti i luoghi, 1992
Zustand: Usato - Buono. 'Brossura editoriale. Biblioteca di cultura moderna Laterza 1017. segni d''uso in copertina. testo in buone condizioni.'.
-
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,60
EUR 13,83 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,77
EUR 17,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
In den WarenkorbPF. Zustand: New.
-
Il sistema della corruzione
Anbieter: Librodifaccia, Alessandria, AL, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: Buone. italiano Condizioni dell'esterno: Discrete con difetti, bruniture Condizioni dell'interno: Discrete con Difetti, sottolineature.
-
IL SISTEMA DELLA CORRUZIONE-Le ragioni i soggetti i luoghi
Verlag: Laterza, Bari, 1992
Anbieter: Invito alla Lettura, Vetralla, VT, Italien
Verkäuferbewertung 5 von 5 Sternen
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/Argomento Politica ***Books dated over 70 years old are not exportable, please do not order.***. Book.
-
Caferra Vito Marino LA GIUSTA DISUGUAGLIANZA DALLA NOMENCLATURA ALLA NUOVA REPUB
Erscheinungsdatum: 1994
Anbieter: Genesis Books, Fonte Nuova, RM, Italien
Verkäuferbewertung 4 von 5 Sternen
Zustand: Good. **Per foto ed ulteriori informazioni contattateci** . Buono (Good). Book.
-
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,16
EUR 11,54 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 297 pages. 9.25x6.00x0.75 inches. In Stock.
-
Famiglia e assistenza. Il diritto di famiglia nel sistema della sicurezza sociale.
Anbieter: Libreria Oreste Gozzini snc, Firenze, FI, Italien
Verkäuferbewertung 5 von 5 Sternen
Bologna, 1989, in-8, br.
-
Il sistema della corruzione : le ragioni, i soggetti, i luoghi
Verlag: Roma, Laterza, Roma, 1992
Anbieter: Messinissa libri, Milano, MI, Italien
Verkäuferbewertung 3 von 5 Sternen
paperback. Zustand: Ottimo (Fine). ST1162Opera con copertina morbida in brossuraVII, 205 p. ; 21 cm. Book.
-
Automated Deduction in Classical and Non-Classical Logics
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2000
ISBN 10: 3540671900 ISBN 13: 9783540671909
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Il sistema della corruzione
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: BUONO USATO. IED. Biblioteca di cultura moderna ITALIANO IL LIBRO È USATO, PERTANTO POTREBBE PRESENTARE LIEVI DIFETTI/IMPERFEZIONI. LA FOTO CORRISPONDE AL LIBRO IN VENDITA. Numero pagine 214. Il copyright dei dati è di Informazioni Editoriali I.E. Srl.
-
Il sistema della corruzione. Le ragioni, i soggetti, i luoghi
Sprache: Italienisch
Verlag: Editori Laterza, ROMA - BARI, 1992
ISBN 10: 8842039012 ISBN 13: 9788842039013
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Verkäuferbewertung 5 von 5 Sternen
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.
-
Automated Deduction in Classical and Non-Classical Logics : Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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.
-
Automated Deduction in Classical and Non-Classical Logics
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2000, 2000
ISBN 10: 3540671900 ISBN 13: 9783540671909
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -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. 312 pp. Englisch.
-
Automated Model Building (Applied Logic Series, 31)
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
hardcover. Zustand: New. In shrink wrap. Looks like an interesting title!
-
DIRITTI DELLA PERSONA E STATO SOCIALE. Il diritto dei servizi socio-sanitari
Anbieter: Fábula Libros (Librería Jiménez-Bravo), MADRID, M, Spanien
Verbandsmitglied: LANCE LIBRIS
Verkäuferbewertung 5 von 5 Sternen
Bologna, Zanichelli, 1992, 23,5x15,5 cm, VI+272 págs.
-
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-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Il processo al processo La responsabilità dei magistrati
Anbieter: Biblioteca di Babele, Tarquinia, VT, Italien
Verkäuferbewertung 5 von 5 Sternen
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.
-
Automated Model Building (Applied Logic Series) [Hardcover] By Caferra, Ricardo
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Zustand: New. pp. 360.
-
Famiglia e assistenza. Il diritto della famiglia nel sistema della sicurezza sociale
Anbieter: librisaggi, SAN VITO ROMANO, Italien
Verkäuferbewertung 4 von 5 Sternen
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.
-
Automated Model Building
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 136,10
EUR 7,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: New. pp. 360 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Logic For Computer Science And Artificial Intelligence
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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.
-
Automated Model Building
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 360.
