RT Book T1 Perspektiven formaler Methoden im Recht 1986 T2 Neue Methoden im Recht JF Neue Methoden im Recht A2 Ringwald, Gerhard LA German PP Tübingen PB Attempto-Verlag YR 1986 UL https://krimdok.uni-tuebingen.de/Record/021484767 SN 3921552885 K1 Konferenzschrift : 1986 : Tübingen K1 Rechtsinformatik K1 Formale Methoden K1 Recht