Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings: 12699 - Brossura
Sinossi
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.
The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Automated Deduction – CADE 28: 28th International...
Foto dell'editore
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020030301
Compra nuovo
EUR 49,06
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 43216696-n
Compra nuovo
EUR 50,25
Spese di spedizione:
EUR 2,28
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 43216696
Compra usato
EUR 51,29
Spese di spedizione:
EUR 2,28
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783030798758_new
Compra nuovo
EUR 45,84
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783030798758
Compra nuovo
EUR 44,07
Spese di spedizione:
EUR 17,62
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Immagini fornite dal venditore
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 43216696-n
Compra nuovo
EUR 45,83
Spese di spedizione:
EUR 17,06
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Deduction ¿ CADE 28
Editore:
Springer International Publishing Jul 2021, 2021
ISBN 10: 3030798755
ISBN 13: 9783030798758
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. 664 pp. Englisch. Codice articolo 9783030798758
Compra nuovo
EUR 42,79
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 43216696
Compra usato
EUR 51,72
Spese di spedizione:
EUR 17,06
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Deduction ? CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Codice articolo 26388168003
Compra nuovo
EUR 68,80
Spese di spedizione:
EUR 3,45
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Automated Deduction ? CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 391464604
Compra nuovo
EUR 69,76
Spese di spedizione:
EUR 7,39
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili