The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Jantke, K. P. (Klaus P.)

LC control no.n 85381855
Personal name headingJantke, K. P. (Klaus P.)
    Browse this term in  LC Authorities  or the  LC Catalog
Variant(s)Jantke, Klaus P.
Found inMathematical 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)