R-Calculus, III: Post Three-Valued Logic
Inbunden, Engelska, 2022
Av Wei Li, Yuefei Sui
2 379 kr
Finns i fler format (1)
Produktinformation
- Utgivningsdatum2022-11-20
- Mått155 x 235 x 22 mm
- Vikt600 g
- FormatInbunden
- SpråkEngelska
- SeriePerspectives in Formal Induction, Revision and Evolution
- Antal sidor273
- FörlagSpringer Verlag, Singapore
- ISBN9789811942693
Tillhör följande kategorier
Mer från samma författare
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
2 019 kr
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, Stephen Mccord
2 079 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 289 kr
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
489 kr