Hendrik Decker - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 13 von 13

)

arXivhttp://arxiv.org › cs.LOLogic in Computer Science Jul 2002

arxiv.org

Comments: 10 pages, no figures. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina Goldin, Jorgen Villadsen, ...

ACM Digital Library

dl.acm.org

Hendrik Decker · Hendrik Decker · Export Citations · Save this search · Author Profile Pages · Bibliometrics · ACM Author-Izer Service · Footer ...

arXivhttps://arxiv.org › cs.LOLogic in Computer Science 2002

arxiv.org

of Connecticut), Peter Wegner (Brown U.) Comments: 10 pages, no figures. Originally published in proc. PCL 2002, a FLoC workshop; eds. Hendrik Decker, Dina ...

Academia.edu

independent.academia.edu

Hendrik Decker studies Applied Mathematics and Com…tional Science, Research & Development, and Software Engineering.

A slick procedure for integrity checking in deductive databasesACM Digital Library

dl.acm.org

von H Decker · · Zitiert von: 28 — : Hendrik Decker. Hendrik Decker. View Profile. and Matilde Celma. Matilde Celma. View Profile. Authors Info & Claims. Proceedings of the eleventh international ... von H Decker · · Zitiert von: 28 — : Hendrik Decker. Hendrik Decker. View Profile. and Matilde Celma. Matilde Celma. View Profile. Authors Info & Claims. Proceedings of the eleventh international ...

UPCommons

upcommons.upc.edu

von H Decker · · Zitiert von: 2 — Hendrik Decker. Knowledge Assimilation in Deductive Databases feed back. KNOWLEDGE. ASSIMILATION. KNOWLEDGE. UTILIZATION. Knowl. As-. Represen-→→→. Update.

A Model-Theoretic Approach and Abductive Reasoning - arXiv

arxiv.org

von O Arieli · · Zitiert von: 11 — Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiharu Waragai (this http URL). Subjects: Logic in Computer Science (cs. von GQ Zhang · — Hendrik Decker, Dina Goldin, Jorgen Villadsen, Toshiharu Waragai (this http URL). Subjects: Logic in Computer Science (cs.LO). › cs