Jana Köhler

From MaRDI portal
Person:1292303

Available identifiers

zbMath Open kohler.janaMaRDI QIDQ1292303

List of research outcomes





PublicationDate of PublicationType
Planning from second principles2022-09-27Paper
Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints2022-02-10Paper
https://portal.mardi4nfdi.de/entity/Q47974472003-03-13Paper
How to augment a formal system with a Boolean algebra component2001-09-03Paper
Modal logics, description logics and arithmetic reasoning1999-06-21Paper

Research outcomes over time

This page was built for person: Jana Köhler

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1292303&oldid=6097525"
Powered by MediaWiki