Modal satisfiability via SMT solving
Fil: Areces, Carlos Eduardo. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
Guardado en:
| Autores principales: | Areces, Carlos Eduardo, Fontaine, Pascal, Merz, Stephan |
|---|---|
| Formato: | submittedVersion bookPart |
| Lenguaje: | Inglés |
| Publicado: |
2021
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/22112 |
| Aporte de: |
Ejemplares similares
-
Modal satisfiability via SMT solving
por: Areces, Carlos Eduardo, et al.
Publicado: (2021) -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016) -
Simetrías en razonamiento automático : el caso de las lógicas modales y satisfacibilidad módulo teorías
por: Orbe, Alejandro Ezequiel
Publicado: (2016) -
Ensayo de lógica modal /
por: Wright, Georg Henrik von
Publicado: (1970) -
Ensayo de lógica modal
por: Wright, Georg Henrik von
Publicado: (1970)