> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: mj-reduction for proving in predicate logic : extended abstract Beteiligte: Readi-Nasser, Rodrigo [VerfasserIn] Erschienen: Kaiserslautern: Fachbereich Informatik, Univ., 1997 Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 291 Umfang: 5 Bl Sprache: Englisch RVK-Notation: SS 5550 : Universität Kaiserslautern: Fachbereich Informatik: Interner Bericht Schlagwörter: Bericht ; Forschungsbericht Entstehung: Anmerkungen: Literaturverz. S. 5 Weitere Bestandsnachweise 0 : Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Bereichsbibliothek DrePunct – Magazin Signatur: 1997 4 030399 001 Barcode: 30440896 Status: Ausleihbar, bitte bestellen > Bestellen möglich - bitte anmelden