Tableaux between proving, projection and compilation

View
 Download nicht erlaubt
WeightNameValue
1000 Titel
  • Tableaux between proving, projection and compilation
1000 Publikationstyp
  1. |
1000 Bestandteil von edoweb:2645319
1 Dateiname Sammelmappe18 online Version.pdf
2 Format application/pdf
3 Größe 793,93KB
4 MD5 9bcfa606335afe158b7de4f2b03e5811
1000 Oai Id
  1. oai:api.edoweb-rlp.de:edoweb:2645322 |
1000 Beschrieben durch
1000 @id edoweb:2645322.rdf
1000 Erstellt am 2014-10-24T12:06:25.917+0200
1000 Erstellt von digitool
1000 beschreibt edoweb:2645322
1000 Import http://klio.hbz-nrw.de:1801/webclient/DeliveryManager?pid=2645322&custom_att_2=default_viewer
1000 Zuletzt bearbeitet 2022-11-14T11:17:37.411+0100
1000 Objekt bearb. Fri Oct 24 12:06:25 CEST 2014
1000 Vgl. edoweb:2645322
1000 Sichtbarkeit Metadaten public
1000 Sichtbarkeit Daten restricted
1000 Objektart file
1000 URN urn:nbn:de:hbz:929:02-edoweb:26453220 |