文章基本信息

标题：Logika i povijesne znanosti - problem rekonstrukcije obitelji na temelju matičnih knjiga
本地全文：下载
作者：Lauc, Davor ; Vitek, Darko
期刊名称：Historical Contributions
印刷版ISSN：0351-9767
出版年度：2010
卷号：39
期号：39
页码：93-104
出版社：Croatian Institute of History
摘要：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.
关键词：logika; povijest; genealogija; formalizacija