Journal of East China Normal University(Natural Science) 2006 Issue 1 Application of Wu's Method in Propositional Calculus

Home | Survey | Payment| Talks & Presentations | Job Opportunities

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Journal of East China Normal University(Natural Science)
1000-5641
2006 Issue 1

Application of Wu's Method in Propositional Calculus
LI Jing;YANG Zong-yuan

..............page:80-86

Automated Geometric Theorem Search Method Based on Numeric Computation
XUE Li;HOU Xiao-rong

..............page:87-91

Research on A Content-based Secure Architecture Model
XUE Mei;SUN Shu-feng;GU Jun-zhong

..............page:92-99

LOM-Based Community P2P Learning Resource Sharing Model
YANG Jing;GU Jun-zhong;XUE Mei

..............page:100-107

Research on Dynamic Synchronization Technology of Webpage Database
XU Wen-tao

..............page:108-115

Silver Nano-particles Synthesized on Porous Silicon by Thermal Decomposition
FENG Xiao;XU Shao-hui;ZHU Zi-qiang

..............page:116-119

Analyzing of Quantum Information Experiment in Operator
ZHANG Zhi-jun;LI Jin-fang;MA Lei

..............page:120-125

Differential Algorithm in Wave-height Measurement
LI Yi-xiang;ZHENG Zheng-qi;JIANG Song-ying;KANG Wei

..............page:126-131

Improved One Order DPLL
DENG Tao;JIANG Chuan-ji;LAI Zong-sheng

..............page:132-135

Application of Dynamic Pricing with Recursive Utility
ZHU Yi-li;CHAI Jun;LIU Xia-qian

..............page:136-138

A Finite Difference Method for Time-periodic Solutions of Nonlinear Parabolic Equations
WEI Wei;WANG Yuan-ming

..............page:72-79

The Sequential Mesh Test for A Proportion
PU Xiao-long;YAN Zhang-geng;MAO Shi-song;ZHANG Ying-shan;LI Yan

..............page:63-71

Flexibility of Embeddings of Wheel Graphs on the Torus
DENG Mo;REN Han

..............page:57-62,79

Stability of Single-Input Bilinear Sampled-data Systems with Quantization
YU Hong-wang;WANG Zhi-ming

..............page:52-56

A Characterization of the α-β Generalized Inverse and Its Reverse Law
DENG Bin;CHEN Guo-liang

..............page:45-51

Multi-periodic Solutions for A Class of Resonance Second Order Systems
MENG Hai-xia;GUO Xiao-feng

..............page:40-44,139

On the Diophantine Equation x3 + 1 = 38y2
DUAN Hui-ming

..............page:35-39,139

Research of Singular Perturbation Theory in East China Normal University
XU Jun-tao

..............page:31-34

The Periodic Solution for A Kind of Parabolic Perturbed Equations
NI Ming-kang;GU Xi

..............page:23-30

Asymptotic Analysis of the Derivative of the Solution for a Singular Perturbation Boundary Problems for Given Data
LIN Wu-zhong;WANG Zhi-ming

..............page:20-22

Dirichlet Problems for a Quasilinear Singularly Perturbed Conditional Stable System of the Second Order
LIN Wu-zhong

..............page:17-19

On Critical Initial Value Problems for Some Quasilinear ODE Systems
NI Ming-kang

..............page:15-16

Existence of Step-type Solutions for Some Variation Problems
NI Ming-kang;GU Xi

..............page:13-14,30

Studies in Contrast Spatial Structure Solutions for Singular Perturbation Problems
NI Ming-kang

..............page:1-12