Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Computation Theory and Logic

-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
71,98 
Įprasta kaina: 84,68 
-15% su kodu: ENG15
Kupono kodas: ENG15
Akcija baigiasi: 2025-03-03
-15% su kodu: ENG15
2025-02-28 84.6800 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 10,00 

Knygos aprašymas

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.

Informacija

Serija: Lecture Notes in Computer Science
Leidėjas: Springer Berlin Heidelberg
Išleidimo metai: 1987
Knygos puslapių skaičius: 460
ISBN-10: 3540181709
ISBN-13: 9783540181705
Formatas: 235 x 155 x 25 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Computation Theory and Logic“

Būtina įvertinti prekę

Goodreads reviews for „Computation Theory and Logic“