Articoli correlati a Automated Reasoning with Analytic Tableaux and Related...

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings: 14278 - Brossura

 
9783031435126: Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings: 14278
Brossura
ISBN 10: 3031435125 ISBN 13: 9783031435126
Casa editrice: Springer, 2023
  • EditoreSpringer
  • Data di pubblicazione2023
  • ISBN 10 3031435125
  • ISBN 13 9783031435126
  • RilegaturaCopertina flessibile
  • LinguaInglese
  • Numero edizione1
  • Numero di pagine508
  • RedattoreRamanayake Revantha, Urban Josef

Compra usato

Condizioni: molto buono
Visualizza questo articolo
9783031435126: Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings: 14278
EUR 39,25

Convertire valuta

EUR 3,53 per la spedizione in U.S.A.

Destinazione, tempi e costi

Compra nuovo

Visualizza questo articolo
9783031435126: Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings: 14278
EUR 42,33

Convertire valuta

EUR 11,74 per la spedizione da Regno Unito a U.S.A.

Destinazione, tempi e costi

Risultati della ricerca per Automated Reasoning with Analytic Tableaux and Related...

Foto dell'editore

Editore: Springer, 2023
ISBN 10: 3031435125 ISBN 13: 9783031435126
Antico o usato paperback

Da: Books From California, Simi Valley, CA, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

paperback. Condizione: Very Good. Codice articolo mon0003599499

Contatta il venditore

Compra usato

EUR 39,25
Convertire valuta
Spese di spedizione: EUR 3,53
In U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Ramanayake, Revantha (Editor)/ Urban, Josef (Editor)
ISBN 10: 3031435125 ISBN 13: 9783031435126
Nuovo Paperback
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Paperback. Condizione: Brand New. 507 pages. 9.25x6.10x1.03 inches. In Stock. This item is printed on demand. Codice articolo __3031435125

Contatta il venditore

Compra nuovo

EUR 42,33
Convertire valuta
Spese di spedizione: EUR 11,74
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2023
ISBN 10: 3031435125 ISBN 13: 9783031435126
Nuovo Brossura

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9783031435126_new

Contatta il venditore

Compra nuovo

EUR 48,89
Convertire valuta
Spese di spedizione: EUR 14,07
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Josef Urban
ISBN 10: 3031435125 ISBN 13: 9783031435126
Nuovo Taschenbuch
Print on Demand

Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics. 508 pp. Englisch. Codice articolo 9783031435126

Contatta il venditore

Compra nuovo

EUR 42,79
Convertire valuta
Spese di spedizione: EUR 23,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Josef Urban
ISBN 10: 3031435125 ISBN 13: 9783031435126
Nuovo Taschenbuch

Da: AHA-BUCH GmbH, Einbeck, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics. Codice articolo 9783031435126

Contatta il venditore

Compra nuovo

EUR 42,79
Convertire valuta
Spese di spedizione: EUR 31,80
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2023
ISBN 10: 3031435125 ISBN 13: 9783031435126
Nuovo Brossura
Print on Demand

Da: Majestic Books, Hounslow, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Print on Demand pp. 508. Codice articolo 397855796

Contatta il venditore

Compra nuovo

EUR 67,64
Convertire valuta
Spese di spedizione: EUR 7,63
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Foto dell'editore

Unbekannt
ISBN 10: 3031435125 ISBN 13: 9783031435126
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: verschmutzt. Innen: Seiten verschmutzt. | Seiten: 508 | Sprache: Englisch | Produktart: Bücher. Codice articolo 42373132/3

Contatta il venditore

Compra usato

EUR 31,23
Convertire valuta
Spese di spedizione: EUR 45,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Unbekannt
ISBN 10: 3031435125 ISBN 13: 9783031435126
Antico o usato Brossura

Da: Buchpark, Trebbin, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Hervorragend. Zustand: Hervorragend | Seiten: 508 | Sprache: Englisch | Produktart: Bücher. Codice articolo 42373132/1

Contatta il venditore

Compra usato

EUR 31,23
Convertire valuta
Spese di spedizione: EUR 45,00
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Editore: Springer, 2023
ISBN 10: 3031435125 ISBN 13: 9783031435126
Nuovo Brossura
Print on Demand

Da: Biblios, Frankfurt am main, HESSE, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. PRINT ON DEMAND pp. 508. Codice articolo 18398554081

Contatta il venditore

Compra nuovo

EUR 68,92
Convertire valuta
Spese di spedizione: EUR 9,95
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: 4 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

ISBN 10: 3031435125 ISBN 13: 9783031435126
Nuovo Kartoniert / Broschiert
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. Codice articolo 1027290403

Contatta il venditore

Compra nuovo

EUR 39,60
Convertire valuta
Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 1 copie di questo libro

Vedi tutti i risultati per questo libro