URN urn:nbn:de:hbz:386-kluedo-49991
Responsible organisation Universitätsbibliothek Kaiserslautern
67608 Kaiserslautern
Created / last modified 2017-10-30T16:18:28Z
2023-01-04T15:22:08Z

Registered URLs
https://kluedo.ub.rptu.de/frontdoor/index/index/docId/4999
https://kluedo.ub.rptu.de/files/4999/Readi-Nasser_mj-reduction%20for%20proving%20in%20predicate%20logic.pdf
https://d-nb.info/1142920925/34


Please contact the responsible organisation if you experience any errors with the URLs.






Production version 1.0.1 | Thu, 26 Feb 2026 13:28:54 UTC | Stage PROD | WildFly 39.0.1.Final | Red Hat, Inc. 21.0.10+7-LTS | Linux amd64 5.14.0-427.111.1.el9_4.x86_64