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

Marx, M. J., Schlobach, S., & Mikulas, S. (1999). Two-dimensional labelled deduction. (Technical Report IR-461). onbekend: Artificial intelligence.
Marx, M.J. ; Schlobach, S. ; Mikulas, S. / Two-dimensional labelled deduction. onbekend : Artificial intelligence, 1999. (Technical Report IR-461).
@book{0c370616730d44eebc30bed565f3dde5,
title = "Two-dimensional labelled deduction.",
author = "M.J. Marx and S. Schlobach and S. Mikulas",
year = "1999",
language = "English",
series = "Technical Report IR-461",
publisher = "Artificial intelligence",

}

Marx, MJ, Schlobach, S & Mikulas, S 1999, Two-dimensional labelled deduction. Technical Report IR-461, Artificial intelligence, onbekend.

Two-dimensional labelled deduction. / Marx, M.J.; Schlobach, S.; Mikulas, S.

onbekend : Artificial intelligence, 1999. (Technical Report IR-461).

Research output: Book / ReportReportProfessional

TY - BOOK

T1 - Two-dimensional labelled deduction.

AU - Marx, M.J.

AU - Schlobach, S.

AU - Mikulas, S.

PY - 1999

Y1 - 1999

M3 - Report

T3 - Technical Report IR-461

BT - Two-dimensional labelled deduction.

PB - Artificial intelligence

CY - onbekend

ER -

Marx MJ, Schlobach S, Mikulas S. Two-dimensional labelled deduction. onbekend: Artificial intelligence, 1999. (Technical Report IR-461).