Softwareudvikling
Se alle bogdetaljer →
Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Udgivet af Springer International Publishing AG
ISBN
9783031107689
Om denne bog
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submis…
Boghandelspriser
| Boghandel | Titel | Format | ISBN | Pris | Lagerstatus | Levering | |
|---|---|---|---|---|---|---|---|
Ingen boghandelstilbud endnuVi har titlen i kataloget. Priser vises her, når boghandlere lister den. |
|||||||
5
0
4
0
3
0
2
0
1
0
0%
Anbefaler
0
Verificeret
Ingen anmeldelser endnu
Bogdetaljer
Forlag
Springer International Publishing AG
Kategori
Softwareudvikling
ISBN-13
9783031107689
EAN
9783031107689
Format
Hæftet
Sprog
Engelsk
sider
756
Undertitel
- 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Produktbeskrivelse
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions.
Prishistorik
Indlæser prishistorik...