|
|
books
| book details |
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Edited by Uli Sattler, Edited by Martin Suda
|
|
| on special |
normal price: R 1 952.95
Price: R 1 757.95
|
| book description |
This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 15 Sep 2023
Language |
Format | Paperback / softback
Pages | 275
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0314-3368-9
Readership Age |
BISAC | computers / artificial intelligence
| other options |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
Matt Dinniman
Paperback / softback
480 pages
was: R 520.95
now: R 458.95
|
|
|
|
|
|
