Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Unity of Logic and Computation

Name: Unity of Logic and Computation
Brand: Springer, Berlin
SKU: 43476120
Price: 72.11 EUR
Availability: InStock
Author: Gianluca Della Vedova
ISBN: 9783031369773

19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings

Gianluca Della Vedova

Besik Dundua

Steffen Lempp

Florin Manea

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 43476120

Nakladnici Springer, Berlin, kolovoz 2023

This book constitutes the refereed proceedings of the 19th International Conference on Unity of Logi... Cijeli opis

Libristo kod: 43476120

174 b

72.11 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Nouveau Systeme de Tenue de Livres d'Apres Jones Applicable A Tous Les Genres de Commerce DELORME-B

Meki uvez

14.56 €

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.