Vol-2161⫷ Vol-2162 ⫸Vol-2163
urn:nbn:de:0074-2162-0


Vol-2162/invited-01⫷Vol-2162/paper-02⫸Vol-2162/paper-03
Ahmed BhayatGiles Reger

Set of Support for Higher-Order Reasoning