30

30 http://hdl.handle.net/10338.dmlcz/127191 1991 Automated theorem proving in monadic predicate calculus http://hdl.handle.net/10338.dmlcz/120263 Automated theorem proving in monadic predicate calculus Double linear connections http://hdl.handle.net/10338.dmlcz/120262 Double linear connections Konstruktionen einiger endlicher modularer Inzidenzstrukturen http://hdl.handle.net/10338.dmlcz/120261 Konstruktionen einiger endlicher modularer Inzidenzstrukturen Quadratic splines interpolating derivatives http://hdl.handle.net/10338.dmlcz/120259 Quadratic splines interpolating derivatives