Relational methods in computerscience 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
Integrating symbolic mathematical computation and artificial intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
International Conference AISMC-2 (1994 Cambridge, England) Jacques Calmet; J. A Campbell 1940-
Berlin New York Springer-Verlag c1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.958 e.1 ) e outros locais(Acessar)
Generalized quantifiers and computation 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures
European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France) J Väänänen 1950- (Jouko)