- Análisis numérico 10
- Representación del conocimiento, métodos, formas y scripts 10
- Deduction and theorem proving 8
- Deducción y prueba de teoremas 7
- Knowledge representation formalisms and methods frames and scripts 7
- Mathematical logic-Computation 7
- Mecánica de fluidos 7
- Ecuaciones diferenciales parciales 6
- Lógica matemática-Computación 6
- Administrative data processing 5
- Database management 5
- Formal languages 5
- Geometría algebraica 5
- Group theory 5
- Logics and meanings of programs 5
- Numerical analysis 5
- Procesamiento de datos administrativos 5
- Análisis global 4
- Control óptimo 4
- Cálculo de variaciones 4
- Mathematical logic 4
- Optimización 4
- Topología algebraica 4
- Algebraic geometry 3
- Análisis en variedades 3
- Artificial intelligence-Learning 3
- Ecuaciones diferenciales ordinarias 3
- Geometría diferencial 3
- Information systems applications 3
- Inteligencia artificial-Aprendizaje 3
-
1
Multigrid methods : proceedings of the conference held at Köln-Porz, November 23-27, 1981 /
Published 1986Conference Proceeding Book -
2
Numerical methods : proceedings of the international workshop held at Caracas, June 14-18, 1982 /
Published 1983Conference Proceeding Book -
3
-
4
-
5
Chaos and statistical methods : proceedings of the Sixth Kyoto Summer Institute, Kyoto, Japan, September 12-15, 1983 /
Published 1984Conference Proceeding Book -
6
Logic and scientific methods : volumen one of the tenth International Congress of Logic, Methodology and Philosophy od Science, Florence, august 1995 /
Published 1997Conference Proceeding Book -
7
-
8
Modern electroanalytical methods : proceedings of the International Symposium on Modern Electrochemical Methods of Analysis, Paris, 1957 /
Published 1958Conference Proceeding Book -
9
Méthodes de développement industriel : et leur application aux pays en voie de développement /
Published 1962Conference Proceeding Book -
10
Process algebra and probabilistic methods : perfomance modeling and verification /
Published 2002Conference Proceeding Book -
11
-
12
Group theoretical methods in physics : fourth international colloquium, Nijmegen, 1975 /
Published 1976Conference Proceeding Book -
13
-
14
-
15
Computing methods in applied sciences : Second International Symposium, December 15-19, 1975 /
Published 1976Conference Proceeding Book -
16
Methods and applications of mathematical logic : proceedings /
Published 1988Conference Proceeding Book -
17
-
18
Algebraic and geometrical methods in topology : Conference on Topological Methods in Algebraic Topology SUNY Binghamton, October 3-7, 1973 /
Published 1974Conference Proceeding Book -
19
Probabilistic methods in differential equations : proceedings of the conference held at the University of Victoria, August 19-20, 1974 /
Published 1975Conference Proceeding Book -
20