Suggested Topics within your search.
Suggested Topics within your search.
- Deducción y prueba de teoremas 3
- Deduction and theorem proving 3
- Lógica matemática
- Mathematical logic 3
- Special-purpose and application-based systems
- Formal languages 2
- Ingenieria de software 2
- Lenguajes formales 2
- Logic programming 2
- Logics and meanings of programs 2
- Lógica y significado de programas 2
- Programación en lógica 2
- Software engineering 2
- Administración de bases de datos 1
- Artificial intelligence 1
- Asistencia de diseños 1
- Database management 1
- Design aids 1
- Diseño físico 1
- Diseño lógico 1
- Inteligencia artificial 1
- Languages 1
- Lenguajes 1
- Lenguajes de programación 1
- Logic design 1
- Physical design 1
- Program verification 1
- Programming languages 1
- Sistemas con proposito y aplicación especial 1
- Sistemas con propósito y aplicaciones especiales 1
-
1
Computer aided verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /
Published 2006Subjects: “…Lenguajes de programación.…”
Conference Proceeding Book -
2
-
3