2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science

Book title Buchtitel

Publisher Herausgeber

IEEE

Filter:

Autor_in: Veith, Helmut

Autor_in: Kotek, Tomer

Erscheinungsdatum: 2015

Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).

RIS EndNote Bibtex Per E-Mail senden

		Vorschau	Autor_in(nen)	Titel	Dokumenttyp	Erscheinungsdatum
	1		Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian	Extending ALCQIO with Trees	Konferenzbeitrag Inproceedings	2015