UNIVERSITÄTSBIBLIOTHEK
  • search hit 30 of 33
Back to Result List

The Adaption of Proof Methods by Reformulation

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Manfred Kerber, Xiaorong Huang, Lassaad Cheikhrouhou
URN (permanent link):urn:nbn:de:hbz:386-kluedo-367
Document Type:Article
Language of publication:English
Year of Completion:1999
Year of Publication:1999
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2000/04/03
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011