Two-dimensional labelled deduction.

M.J. Marx, S. Schlobach, S. Mikulas

Research output: Book / ReportReportProfessional

Original languageEnglish
Place of Publicationonbekend
PublisherArtificial intelligence
Publication statusPublished - 1999

Publication series

NameTechnical Report IR-461

Cite this