Importo totale (1 articolo articoli):
Destinazione ordine:
9783031635007 - Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3?6, 2024, Proceedings, Part II: 14740 (27 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (27)
- 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 (23)
- Come nuovo, Ottimo o Quasi ottimo (2)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (27)
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 (21)
Lingua (1)
Prezzo
- Qualsiasi prezzo
- Inferiore a EUR 20 (Nessun altro risultato corrispondente a questo perfezionamento)
- EUR 20 a EUR 45 (Nessun altro risultato corrispondente a questo perfezionamento)
- Superiore a EUR 45
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Automated Reasoning
Da: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Reasoning
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 68,20
Spedizione EUR 6,77
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 84,66
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2024 ed.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 68,19
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Reasoning (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: new. Paperback. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Paperback. Condizione: New. 2024 ed.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 74,78
Spedizione EUR 13,81
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Automated Reasoning : 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 76,75
Spedizione EUR 17,30
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
AUTOMATED REASONING : 12TH INTERNATIONAL
Da: Speedyhen, Hertfordshire, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 61,64
Spedizione EUR 47,28
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: NEW.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 2024th edition NO-PA16APR2015-KAP.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 36, 2024, Proceedings, Part II: 14740 (Lecture Notes in Computer Science, 14740)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,55
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 439 pages. 9.25x6.10x9.21 inches. In Stock.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer, Berlin|Springer Nature Switzerland|IJCAR Community|Springer, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
EUR 78,56
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 202.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: Rarewaves USA United, OSWEGO, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. 2024 ed.
-
EUR 71,85
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Automated Reasoning | 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II | Christoph Benzmüller (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2024 | Springer | EAN 9783031635007 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 79,17
Spedizione EUR 63,32
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,95
Spedizione EUR 74,95
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2024 ed.
-
Automated Reasoning (Paperback)
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
EUR 130,76
Spedizione EUR 32,24
Spedito da Australia a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
EUR 61,85
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Seiten: 440 | Sprache: Englisch | Produktart: Bücher | Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.
-
Automated Reasoning
Da: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germania
Valutazione del venditore 5 su 5 stelle
EUR 189,90
Spedizione EUR 39,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: gut. 2024. Automated Reasoning In deutscher Sprache. pages.
-
Automated Reasoning (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 65,43
Spedizione EUR 6,80
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 36, 2024, Proceedings, Part II: 14740 (Lecture Notes in Computer Science, 14740)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,35
Spedizione EUR 14,41
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 439 pages. 9.25x6.10x9.21 inches. In Stock. This item is printed on demand.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer, Berlin, Springer Nature Switzerland, IJCAR Community, Springer, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 79,17
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 -Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. 424 pp. Englisch.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 116,47
Spedizione EUR 7,49
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
-
Automated Reasoning: 12th International Joint Conference, Ijcar 2024, Nancy, France, July 3?6, 2024, Proceedings
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 116,63
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
-
Automated Reasoning
Lingua: Inglese
Editore: Springer, Springer Jul 2024, 2024
ISBN 10: 3031635000 ISBN 13: 9783031635007
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 79,17
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 -Infotext (nur auf Basis des Vorgängers):This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 440 pp. Englisch.
