Two-dimensional labelled deduction.

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

Research output: Book / Report › Report › Professional

Original languageEnglish
Place of Publicationonbekend
PublisherArtificial intelligence
Publication statusPublished - 1999

Publication series

NameTechnical Report IR-461

Persistent URL (handle)

Cite this