1 http://hdl.handle.net/10338.dmlcz/127192 1 Automated theorem proving in monadic predicate calculus http://hdl.handle.net/10338.dmlcz/120263 Automated theorem proving in monadic predicate calculus Thu, 29 Jan 2009 15:38:22 GMT Double linear connections http://hdl.handle.net/10338.dmlcz/120262 Double linear connections Thu, 29 Jan 2009 15:38:16 GMT Konstruktionen einiger endlicher modularer Inzidenzstrukturen http://hdl.handle.net/10338.dmlcz/120261 Konstruktionen einiger endlicher modularer Inzidenzstrukturen Thu, 29 Jan 2009 15:38:13 GMT Quadratic splines interpolating derivatives http://hdl.handle.net/10338.dmlcz/120259 Quadratic splines interpolating derivatives Thu, 29 Jan 2009 15:38:09 GMT