Idioma:

Relational methods in computer science 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers

RelMiCS 2001 (2001 Oisterwijk, Netherlands) H. C. M. de Swart; European Cooperation in the Field of Scientific and Technical Research (Organization) COST Action 274 TARSKI (Project) Oisterwijk, Netherlands) 2001

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2561 )(Acessar)

Título:
Relational methods in computer science 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, the Netherlands, October 16-21, 2001 : revised papers
Autor: RelMiCS 2001 (2001 Oisterwijk, Netherlands)
H. C. M. de Swart; European Cooperation in the Field of Scientific and Technical Research (Organization) COST Action 274 TARSKI (Project) Oisterwijk, Netherlands) 2001
Assuntos: Computer science -- Congresses; Relationism -- Congresses; LÓGICA MATEMÁTICA; LINGUAGENS FORMAIS; INTELIGÊNCIA ARTIFICIAL
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 2561
Editor: Berlin Springer New York
Data de criação/publicação: c2002
Formato: p. cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 8 Avançar Ir para próxima página