Logika i povijesne znanosti – problem rekonstrukcije obitelji na temelju matičnih knjiga
U radu se nastoji prikazati postupak moguće formalizacije zapisa iz matičnih knjiga i izgradnja računalno primjenjivoga logičkog modela, temeljenoga na temporalnoj logici.
| Permalink: | http://skupni.nsk.hr/Record/ffzg.KOHA-OAI-FFZG:309489/Details |
|---|---|
| Matična publikacija: |
Povijesni prilozi 39 (2010), 39 ; str. 93-104 |
| Glavni autori: | Vitek, Darko (-), Lauc, Davor (Author) |
| Vrsta građe: | Članak |
| Jezik: | eng |
| LEADER | 01252naa a2200277uu 4500 | ||
|---|---|---|---|
| 005 | 20131206084801.0 | ||
| 008 | 131105s2010 xx eng|d | ||
| 022 | |a 0351-9767 | ||
| 035 | |a (CROSBI)556105 | ||
| 040 | |a HR-ZaFF |b hrv |c HR-ZaFF |e ppiak | ||
| 100 | 1 | |a Vitek, Darko | |
| 245 | 1 | 0 | |a Logika i povijesne znanosti – problem rekonstrukcije obitelji na temelju matičnih knjiga / |c Vitek, Darko ; Lauc, Davor. |
| 246 | 3 | |i Naslov na engleskom: |a Logic and historical research – the problem of the family tree reconstruction based on the old parish registers | |
| 300 | |a 93-104 |f str. | ||
| 363 | |a 39 |b 39 |i 2010 | ||
| 520 | |a U radu se nastoji prikazati postupak moguće formalizacije zapisa iz matičnih knjiga i izgradnja računalno primjenjivoga logičkog modela, temeljenoga na temporalnoj logici. | ||
| 536 | |a Projekt MZOS |f 019-0190611-0594 | ||
| 536 | |a Projekt MZOS |f 130-1203164-0741 | ||
| 546 | |a ENG | ||
| 690 | |a 6.04 | ||
| 693 | |a logika, povijest, genealogija, formalizacija |l hrv |2 crosbi | ||
| 693 | |a logic, history, genealogy, formalization |l eng |2 crosbi | ||
| 773 | 0 | |t Povijesni prilozi |x 0351-9767 |g 39 (2010), 39 ; str. 93-104 | |
| 700 | 1 | |9 721 |a Lauc, Davor |4 aut | |
| 942 | |c CLA |t 1.01 |u 2 |z Znanstveni - clanak | ||
| 999 | |c 309489 |d 309487 | ||