0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023,... Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (1st ed. 2023)
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
R1,833 Discovery Miles 18 330 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logic and Computation, CiE 2023, held in Batumi, Georgia, during July 24–28, 2023.  The 23 full papers and 13 invited papers included in this book were carefully reviewed and selected from 51 submissions. They were organized in topical sections as follows: ​Degree theory; Proof Theory; Computability; Algorithmic Randomness; Computational Complexity; Interactive proofs; and Combinatorial approaches.

Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3,... Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings (Paperback, 1st ed. 2020)
Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
R1,505 Discovery Miles 15 050 Ships in 10 - 15 working days

This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2020 had as its motto Beyond the Horizon of Computability, reflecting the interest of CiE in research transgressing the traditional boundaries of computability theory.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
The Family Lawyer - 3-in-One Collection
James Patterson Paperback  (1)
R270 R211 Discovery Miles 2 110
Daylight
David Baldacci Paperback  (2)
R385 R331 Discovery Miles 3 310
The Dead Of Winter
Stuart MacBride Paperback R392 Discovery Miles 3 920
Act Of Oblivion
Robert Harris Paperback R373 Discovery Miles 3 730
Outcast
Chris Ryan Paperback R427 R351 Discovery Miles 3 510
The Party
Elizabeth Day Paperback  (1)
R311 R207 Discovery Miles 2 070
Forget Me Not
M. J. Arlidge Paperback R425 R285 Discovery Miles 2 850
1979
Val McDermid Paperback R465 R384 Discovery Miles 3 840
Die Wet Van Gauteng
Hannes Barnard Paperback R350 R301 Discovery Miles 3 010
Dirt Town
Hayley Scrivenor Paperback R340 R269 Discovery Miles 2 690

 

Partners