R-Calculus, IV: Propositional Logic
Inbunden, Engelska, 2023
2 729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2023-03-29
- Mått155 x 235 x 21 mm
- Vikt571 g
- FormatInbunden
- SpråkEngelska
- SeriePerspectives in Formal Induction, Revision and Evolution
- Antal sidor252
- FörlagSpringer Verlag, Singapore
- ISBN9789811986321
Tillhör följande kategorier
Mer från samma författare
Negative Emissions Technologies for Climate Change Mitigation
Steve A. Rackley, Tingzhen Ming, Wei Li, Michael Tyka, Adrienne Sewel, Diarmaid Clery, George Dowson, Peter Styring, Graham Andrews, Stephen McCord, Pol Knops, Renaud de Richter, Steve A. (Independent Consultant) Rackley, China) Ming, Tingzhen (School of Civil Engineering and Architecture, Wuhan University of Technology, Wuhan, UK) Li, Wei (Institute for Materials and Processes, School of Engineering, The University of Edinburgh, Edinburgh, USA) Tyka, Michael (Artist, Researcher and Google Engineer, UK) Sewel, Adrienne (Formerly, University of St Andrews; Robotics and Mechatronics Summer Schools, University of Glasgow, UK) Clery, Diarmaid (Tyndall Centre for Climate Change Research, University of Manchester, UK) Dowson, George (UK Centre for Carbon Dioxide Utilisation and the Sustain Manufacturing Hub, University of Sheffield, UK) Styring, Peter (UK Centre for Carbon Dioxide Utilization, The University of Sheffield, USA) Andrews, Graham (Department of Geology and Geography, West Virginia University, USA) McCord, Stephen (Research Fellow at the Global CO2 Initiative, Department of Mechanical Engineering, University of Michigan
2 039 kr
Renewable Energy Microgeneration Systems
Qiang Yang, Ting Yang, Wei Li, Zhejiang University PRC) Yang, Qiang (Associate Professor, College of Electrical Engineering, China) Yang, Ting (School of Electrical Engineering and Automation, Tianjin University, Tianjin, Australia) Li, Wei (Research fellow in the Centre for Distributed and High Performance Computing, and school of Information Technologies in The University of Sydney
1 979 kr
AI Computing Systems
Yunji Chen, Ling Li, Wei Li, Qi Guo, Zidong Du, Zichen Xu, China) Chen, Yunji (Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Li, Ling (Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Beijing, China) Li, Wei (State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Guo, Qi (State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Du, Zidong (State Key Lab of Processors, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China) Xu, Zichen (School of Mathematics and Computer Science, The Nanchang University, Nanchang
1 259 kr
- Nyhet
Far East, Down South
David M Reimers, Raymond A. Mohl, John E. Van Sant, Chizuru Saeki, Christopher A. Airriess, Daniel Bronstein, Angela Chia-Chen Chen, John Howard, John Jung, Verna M. Keith, Karen J. Leong, Wei Li, Vincent H. Melomo, Greg Robinson, Wenxian Zhang, Raymond A. Mohl, John E. Van Sant, Chizuru Saeki, John E. Van Sant, Raymond A Mohl, John E van Sant
479 kr