Vol-3200⫷ Vol-3201 ⫸Vol-3202
urn:nbn:de:0074-3201-0


Vol-3201/paper12⫷Vol-3201/paper13⫸Vol-3201/paper14
Alexander Steen

An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning (short paper)