Handbook of practical logic and automated reasoning /
Guardado en:
| Autor Principal: | Harrison, J. 1966- |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Cambridge ; New York :
Cambridge University Press,
2009.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Automated practical reasoning : algebraic approaches /
Publicado: (1995) -
Automated reasoning : introduction and applications /
Publicado: (1984) -
The automation of reasoning : an experimenter's notebook with OTTER tutorial /
por: Wos, Larry.
Publicado: (1996) -
Reasoning and logic /
por: Angell, Richard B.
Publicado: (1964) -
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
por: Furbach, Ulrich.
Publicado: (2006)
