Hoppa till sidans huvudinnehåll

R-Calculus, II: Many-Valued Logics

Inbunden, Engelska, 2022

AvWei Li,Yuefei Sui

2 029 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)


Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.

Produktinformation

Hoppa över listan

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

Häftad

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

Häftad

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

Häftad

1 259 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

Häftad

479 kr

Hoppa över listan

Mer från samma serie

Hoppa över listan

Du kanske också är intresserad av