Tableaux between proving, projection and compilation

  1. Wernhard, Christoph

View
 Download nicht erlaubt
WeightNameValue
1000 Titel
  • Tableaux between proving, projection and compilation
1000 Verantwortlich
  • Christoph Wernhard. Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik
1000 Beteiligung
Universität Koblenz-Landau. Institut für Informatik (Sonstige) |
1000 Autor
  1. Wernhard, Christoph |
  2. Universität Koblenz-Landau. Institut für Informatik |
1000 Katalog Id
  • HT015230644
1000 Erscheinungsort Koblenz
1000 Verlag Inst. für Informatik
1000 Erschienen in Arbeitsberichte aus dem Fachbereich Informatik , 2007,18
1000 Art der Datei
1000 Publikationstyp
  1. Buch |
1000 Sprache der Publikation
1000 Bestand
1000 Download
1000 Oai Id
  1. oai:api.edoweb-rlp.de:edoweb:2645319 |
1000 Beschrieben durch
1000 @id edoweb:2645319.rdf
1000 Erstellt am 2014-10-24T12:06:20.769+0200
1000 Erstellt von digitool
1000 beschreibt edoweb:2645319
1000 Import http://klio.hbz-nrw.de:1801/webclient/DeliveryManager?pid=2645319&custom_att_2=default_viewer
1000 Id Altsystem HT015230644
1000 Zuletzt bearbeitet 2024-10-12T09:39:41.705+0200
1000 Objekt bearb. Fri Oct 24 12:06:25 CEST 2014
1000 Identisch zu
1000 Beschrieben durch
1000 Vgl. edoweb:2645319
1000 Sichtbarkeit Metadaten public
1000 Sichtbarkeit Daten restricted
1000 Objektart monograph
1000 Sacherschließung
ddc 004 Informatik
lbz 820 Informatik, Datenverarbeitung
rpb 884000 Information und Dokumentation
1000 URN
  • urn:nbn:de:hbz:929:02-edoweb:26453196 |
1000 Verbund-Id
  1. HT015230644 |
1000 Lobid
1000 Dateien
  1. Tableaux between proving, projection and compilation
    Tableaux between proving, projection and compilation