Dag Normann – författare
Visar alla böcker från författaren Dag Normann. Handla med fri frakt och snabb leverans.
6 produkter
Logic Colloquium 2005
Av Costas Dimitracopoulos, Ludomir Newelski m. fl.
Inbunden, 2007
1921 kr
Lägg i varukorg
The Annual European Meeting of the Association for Symbolic Logic, generally known as the Logic Colloquium, is the most prestigious annual meeting in the field. Many of the papers presented there are invited surveys of developments, and the rest of the papers are chosen to complement the invited …
Models of Computation in Context
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Av Benedikt Löwe, Dag Normann m. fl.
Häftad, 2011
552 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%.The …
Models of Computation in Context
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings
Av Alexandra Soskova, Ivan Soskov m. fl.
E-bok, 2011
718 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%.The …
Higher-Order Computability
Inbunden, 2015
1802 kr
Lägg i varukorg
This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since …
Higher-Order Computability
E-bok, 2015
2291 kr
Lägg i varukorg
This book offers a self-contained exposition of the theory of computability in a higher-order context, where ''computable operations'' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since …
Higher-Order Computability
Häftad, 2016
1802 kr
Lägg i varukorg
This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since …
