UNIVERSITÄTSBIBLIOTHEK
  • search hit 99 of 476
Back to Result List

mj-Reduction for Proving in Predicate Logic

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Rodrigo Readi-Nasser
URN (permanent link):urn:nbn:de:hbz:386-kluedo-49991
Serie (Series number):Interner Bericht des Fachbereich Informatik (291)
Document Type:Report
Language of publication:German
Publication Date:2017/10/30
Year of Publication:1997
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/30
Number of page:5
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)