Sökt på: Böcker av R Lindstrom
totalt 9 träffar
Textbook of Refractive Laser Assisted Cataract Surgery (ReLACS)
Textbook of Laser Refractive Cataract Surgery is a comprehensive reference for the general ophthalmologist and cataract surgeon regarding the explosive new technology in …
Textbook of Refractive Laser Assisted Cataract Surgery (ReLACS)
Textbook of Laser Refractive Cataract Surgery is a comprehensive reference for the general ophthalmologist and cataract surgeon regarding the explosive new technology in …
Mathematical Theory of Domains
Domain theory is an established part of theoretical computer science, used in giving semantics to programming languages and logics. In mathematics and logic it has also proved to …
Collected Papers of Stig Kanger with Essays on his Life and Work
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof …
Textbook of Refractive Laser Assisted Cataract Surgery (ReLACS)
Textbook of Laser Refractive Cataract Surgery is a comprehensive reference for the general ophthalmologist and cataract surgeon regarding the explosive new technology in …
Collected Papers of Stig Kanger with Essays on his Life and Work
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's dissertation Provability in Logic, 1957, contained significant results in proof …
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
Use of Electrochemical Scanning Tunnelling Microscopy (EC-STM) in Corrosion Analysis
The European Federation of Corrosion's Working Party on Surface Science and the Mechanisms of Corrosion and Protection (EFC WP6) has defined, as one of its objectives, the …
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
Stig Kanger (1924-1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics …