UNIVERSITÄTSBIBLIOTHEK

mj-Reduction for Proving in Predicate Logic

Metadaten exportieren

Weitere Dienste

Teilen auf Twitter Suche bei Google Scholar
Metadaten
Verfasserangaben:Rodrigo Readi-Nasser
URN (Permalink):urn:nbn:de:hbz:386-kluedo-49991
Schriftenreihe (Bandnummer):Interner Bericht des Fachbereich Informatik (291)
Dokumentart:Bericht
Sprache der Veröffentlichung:Deutsch
Veröffentlichungsdatum (online):30.10.2017
Jahr der Veröffentlichung:1997
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):30.10.2017
Seitenzahl:5
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
DDC-Sachgruppen:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Lizenz (Deutsch):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)