> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Efficient interpolation for the intuitionistic sequent calculus Beteiligte: Goerdt, Andreas [Verfasser:in] Erschienen: Chemnitz; Zwickau: Techn. Univ., Fak. für Informatik, 2000 Erschienen in: Chemnitzer Informatik-Berichte ; 2000,02 Umfang: 10 S. Sprache: Englisch Schlagwörter: Forschungsbericht Entstehung: Anmerkungen: Weitere Bestandsnachweise 0 : Chemnitzer Informatik-Berichte
Bereichsbibliothek DrePunct – Magazin Signatur: 2001 8 017875 001 Barcode: 32916718 Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung > Bestellen möglich - bitte anmelden Bereitstellung voraussichtlich: 1 - 2 Tage nach Bestellung