| Título: | Journal of Formalized Reasoning |
| Autores: | |
| Fecha: | 2009-04-29 |
| Publicador: | Directory of Open Access Journals - DOAJ |
| Fuente: |
 |
| Tipo: | journal |
| Tema: |
formalization verification checking reasoning LCC:Science LCC:Q LCC:Mathematics LCC:QA1-939 LCC:Instruments and machines LCC:QA71-90 LCC:Electronic computers. Computer science LCC:QA75.5-76.95 |
| Descripción: | |
| Idioma: | |
1 | 6 |
2 | 7 |
3 | 8 |
4 | 9 |
5 | 10 |