Stephan Schweitzer

From MaRDI portal
Person:5387855

Available identifiers

zbMath Open schweitzer.stephan.1MaRDI QIDQ5387855

List of research outcomes





PublicationDate of PublicationType
Reasoning About Incompletely Defined Programs2008-05-27Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper

Research outcomes over time

This page was built for person: Stephan Schweitzer