> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Lecture Notes in Computer Science: On the Completion of the Most Specific Hypothesis Computation in Inverse Entailment for Mutual Recursion Beteiligte: Furukawa, Koichi Erschienen: Springer Berlin Heidelberg, 1998 Erschienen in: Lecture Notes in Computer Science (1998), Seite 315-325 Sprache: Nicht zu entscheiden DOI: 10.1007/3-540-49292-5_28 ISBN: 9783540653905; 9783540492924 ISSN: 0302-9743 Entstehung: Anmerkungen: