|
Tijdschrift beschrijving Journal of formalized reasoning
| Titel: |
Journal of formalized reasoning |
| Annotatie: |
Verschijnt × per jaar Exemplaar met signatuur: e-Depot DOAJ. - AANWEZIG: Jrg. 1 (2008)–jrg. 3 (2010) - mogelijk incompleet |
| Onderwerp: |
54.10 theoretische informatica |
| Uitgever: |
[Bologna] : CIB - University of Bologna |
| Volgnummer: | 1 van 1 |