Número de Documento     
Artículo:

Logic in Computer Science New results on quantifier elimination over real closed fields and applications to constraint database

Autor:

S. Basu

Página:

537

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

48

Número:

4

Periodo:

Julio 1999

ISSN:

00045411

SrcID:

00045411-1999-04.TXT

Número de Documento