JavaScript is disabled for your browser. Some features of this site may not work without it.
Contenido de la colección
Argentine Workshop on Theoretical Computer Science (WAIT 2002)
Entidad de Origen:
Sociedad Argentina de Informática e Investigación Operativa (SADIO), Facultad Regional Santa Fe (UTN)
Fecha:
9 al 13 de septiembre de 2002
Lugar:
Santa Fe
ISSN:
1666-1133
Listar por
Últimos documentos agregados
- Deformation techniques for counting the real solutions of specific polynomial equation systems
- Parallel Query Processing in Textual Databases
- Internal Program Extraction in the Calculus of Inductive Constructions
- Quantifier elimination and destruction of knowledge
- Improving the Verification of Timed Systems using Influence Information
Calle 49 y 115 s/n 1er piso - Edificio ex Liceo
La Plata, Buenos Aires (C.P. 1900)
Tel: +54 0221 6447282
Tel: +54 0221 423 6696/6677 (int. 141)
La Plata, Buenos Aires (C.P. 1900)
Tel: +54 0221 6447282
Tel: +54 0221 423 6696/6677 (int. 141)
