Home > Papers > Computability-Theory

 
  There are 4 papers published in subject: > since this site started.
  Results per page:
Select Subject
   All (8497)
Agronomy (157)
Animal Husbandry,... (64)
Aquatic Science (16)
Astronomy (36)
Aviation (21)
Basic Medicine (182)
Biology (498)
Chemical Engineering (102)
Chemistry (631)
Civil and Archite... (105)
Clinical Medicine (230)
Computer Science ... (847)
Dynamic and Elect... (120)
Earth Science (118)
Economics (65)
Education (30)
Electrics, Commun... (900)
Energy Science an... (66)
Engineering and T... (14)
Environmental Sci... (140)
Food Science and ... (63)
Forestry (36)
Hydraulic Enginee... (40)
Mechanics (240)
Metallurgical Eng... (32)
Mine Engineering ... (38)
Nuclear Science a... (21)
Pharmacy (98)
Physics (914)
Preventive Medici... (36)
Psychology (20)
Security Science ... (17)
Sports Science (6)
Surveying and Map... (15)
Textile Science a... (16)
Traditional Chine... (55)
Transportation En... (52)
Select/Unselect all For Selected Papers

Saved Papers

Please enter a name for this paper to be shown in your personalized Saved Papers list
1. Synthesis Algorithms of Models of Hybrid Systems
  ZHANG Haibin
  Computer Science and Technology 01 February 2014
  Show/Hide Abstract | Cite this paper︱Full-text: PDF (4K B)
2. Aujin Algorithm: A Deterministic Polynomial Algorithm for SAT
  Zhu-Jin Zhang
  Computer Science and Technology 24 June 2009
  Show/Hide Abstract | Cite this paper︱Full-text: PDF (4K B)
3. A second proof of the conjecture that the class P is a proper subset of the class NP
  Xu Wandong
  Computer Science and Technology 12 February 2008
  Show/Hide Abstract | Cite this paper︱Full-text: PDF (4K B)
4. A proof of the conjecture that the class P is a proper subset of the class NP
  Xu Wandong
  Computer Science and Technology 15 November 2007
  Show/Hide Abstract | Cite this paper︱Full-text: PDF (4K B)
Select/Unselect all For Selected Papers

Saved Papers

Please enter a name for this paper to be shown in your personalized Saved Papers list