Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence
- Inteligencia artificial 4
- Aplicaciones de los sistemas de información 1
- Artes y humanidades 1
- Arts and humanities 1
- Asistencia de diseños 1
- Ciencia médicas y de la vida 1
- Computer graphics 1
- Database management 1
- Deducción y prueba de teoremas 1
- Deduction and theorem proving 1
- Design aids 1
- Graph theory 1
- Gráficos computarizados 1
- Information systems applications 1
- Interfaces 1
- Lenguajes de programación 1
- Life and medical sciences 1
- Lógica matemática 1
- Mathematical logic 1
- Program verification 1
- Programming languages 1
- Sistemas con propósito y aplicaciones especiales 1
- Software-Herramientas y técnicas 1
- Software-Tools and techniques 1
- Special-purpose and application-based systems 1
- Teoría de grafos 1
- Verificación de programas 1
-
1
Conceptual structures: Applications, implementation and theory : proceedings /
Published 1995Conference Proceeding Book -
2
-
3
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Conference Proceeding Book -
4
Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, Grenoble, France, March 23-26, 1997 : proceedings /
Published 1997Conference Proceeding Book