Importo totale (1 articolo articoli):
Destinazione ordine:
9783540730989 - Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings: ... (18 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (18)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (14)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (18)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (8)
- Non Print on Demand (13)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Automated Reasoning with Analytic Tableaux and Related Methods. 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings.
Lingua: Inglese
Editore: Berlin/ Heidelberg, Springer Berlin., 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 4 su 5 stelle
EUR 13,00
Spedizione EUR 30,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello2007. 16 x 24 cm. X, 250 S. X, 250 p. softcover 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. (Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence). Sprache: Englisch.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,42
Spedizione EUR 13,83
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,72
Spedizione EUR 17,89
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Automated Reasoning With Analytic Tableaux and Related Methods : 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,14
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Reasoning With Analytic Tableaux and Related Methods : 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,68
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 262.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, (Paperback or Softback)
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, AIX En Provence, France, July 3-6, 2007, Book.
-
Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,14
Spedizione EUR 11,55
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 245 pages. 9.00x5.90x0.70 inches. In Stock.
-
Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
EUR 53,49
Spedizione EUR 62,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Automated Reasoning with Analytic Tableaux and Related Methods | 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings | Nicola Olivetti | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540730989 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Automated Reasoning With Analytic Tableaux and Related Methods : 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 109,41
Spedizione EUR 17,32
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, . (Lecture Notes in Computer Science, 4548)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 99,91
Spedizione EUR 28,87
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Automated Reasoning With Analytic Tableaux and Related Methods : 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 130,29
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jun 2007, 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics. 260 pp. Englisch.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 76,94
Spedizione EUR 7,51
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 262 Illus.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 72,52
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 262.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic.
-
Automated Reasoning with Analytic Tableaux and Related Methods
Lingua: Inglese
Editore: Springer, Springer Jun 2007, 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Talks.- Nonmonotonic Description Logics - Requirements, Theory, and Implementations.- Our Quest for the Holy Grail of Agent Verification.- An Abstract Framework for Satisfiability Modulo Theories.- Research Papers.- Axiom Pinpointing in General Tableaux.- Proof Theory for First Order ukasiewicz Logic.- A Tableau Method for Public Announcement Logics.- Bounded Model Checking with Description Logic Reasoning.- Tableau Systems for Logics of Subinterval Structures over Dense Orderings.- A Cut-Free Sequent Calculus for Bi-intuitionistic Logic.- Tableaux with Dynamic Filtration for Layered Modal Logics.- The Neighbourhood of S0.9 and S1.- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.- Tree-Sequent Methods for Subintuitionistic Predicate Logics.- A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation.- Updating Reduced Implicate Tries.- A Bottom-Up Approach to Clausal Tableaux.- Differential Dynamic Logic for Verifying Parametric Hybrid Systems.- System Descriptions.- Improvements to the Tableau Prover PITP.- KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 260 pp. Englisch.
