LC control no. | n 85381855 |
---|---|
Personal name heading | Jantke, K. P. (Klaus P.) |
Variant(s) | Jantke, Klaus P. |
Found in | Mathematical methods of specification and synthesis of software systems '85, 1986: t.p. (K. P. Jantke) p. 5 (Klaus P. Jantke, GDR) p. 101 (Humboldt University Berlin, Computing Center) verso of t.p. (Humboldt-Universitat zu Berlin, Sektion Mathematik) Nonmonotonic and inductive logic, c1992: CIP t.p. (K.P. Jantke) data sheet (b. 10/23/51) |