SciDok

Ihr Suchergebnis

Ergebnis 1 - 1 von 1  1    Gehe zu Seite
von 1
1. Backofen, Rolf ; Rogers, James ; Vijay-Shanker, K. (1995) A first-order axiomatization of the theory of finite trees Kaiserslautern ; Saarbr├╝cken : DFKI, 1995 Report (Bericht)
 
Ergebnis 1 - 1 von 1  1    Gehe zu Seite
von 1

Home | Impressum | Über SciDok | Policy | Kontakt | Datenschutzerklärung | English