國立虎尾科技大學 |

登入

回首頁

Quantifier elimination over real clo...

Moeller, Ralf.

Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Quantifier elimination over real closed fields :/ Claudia Schutz [i.e. Schultz], Ralf Moeller.
其他題名:	mathematical basis, solution techniques, practical integrations /
作者:	Schultz, Claudia.
其他作者:	Moeller, Ralf.
出版者:	Saarbrücken:VDM Verlag Dr. Müller, : c2007,
面頁冊數:	113 p. :ill. ; : 25 cm.;
標題:	Algebraic fields. -
ISBN:	9783836413060 (pbk.) :

Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /
Schultz, Claudia.

Quantifier elimination over real closed fields :mathematical basis, solution techniques, practical integrations /Claudia Schutz [i.e. Schultz], Ralf Moeller. - Saarbrücken:VDM Verlag Dr. Müller,c2007 - 113 p. :ill. ;25 cm.

Includes bibliographical references (p. 111-113).

ISBN: 9783836413060 (pbk.) :NT2226Subjects--Topical Terms:

672441
Algebraic fields.

LC Class. No.: QA247 / .S38 2007

Dewey Class. No.: 511.3

Quantifier elimination over real closed fields : = mathematical basis, solution techniques, practical integrations /
LDR:00741cam a22002174a 4500 001 651286
005 20100814150747.0
008 101028s2007 gw a b 000 0 eng d
020 $a 9783836413060 (pbk.) : $c NT2226
020 $a 383641306X (pbk.)
035 $a (OCoLC)310397025
035 $a 6394172
035 $a 6394172
040 $a NIC $b eng $c NIC $c NFU
041 0 # $a eng
050 # 4 $a QA247 $b .S38 2007
082 0 4 $a 511.3 $2 DDC22ger
084 $a 510 $2 GyFmDB
100 1 $a Schultz, Claudia. $3 743095
245 1 0 $a Quantifier elimination over real closed fields : $b mathematical basis, solution techniques, practical integrations / $c Claudia Schutz [i.e. Schultz], Ralf Moeller.
260 # $a Saarbrücken: $b VDM Verlag Dr. Müller, $c c2007
300 $a 113 p. : $b ill. ; $c 25 cm.
504 $a Includes bibliographical references (p. 111-113).
650 # 0 $a Algebraic fields. $3 672441
650 # 0 $a Cylindric algebras. $3 743065
650 # 0 $a Description logics. $3 743097
650 # 0 $a Algorithms. $3 527865
700 1 # $a Moeller, Ralf. $3 743096