Titlebook: CSL ‘89; 3rd Workshop on Comp Egon Börger,Hans Kleine Büning,Michael M. Richter Conference proceedings 1990 Springer-Verlag Berlin Heidelbe

MAIM

angina-pectoris

得体

The complexity of subtheories of the existential linear theory of reals,ructure of atoms..In the case that the quantifier free part is a conjunction of atomic formulas we have nothing else than the linear optimation problem, which is P-complete. In the case of two variables per atomic formula the problem is in NC..Also the case that all atoms are of the form Σ.....≥., such that .>0, is considered.

串通

0302-9743 ntelligece, and temporal logic. The volume should be of interest to all logicians and computer scientists working in the above field.978-3-540-52753-4978-3-540-47137-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

护航舰

9楼

终点

9楼

BIBLE

9楼

legislate

10楼

MUTED

10楼

的是兄弟

10楼