FB 3

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Konferenz-Bericht
Herausgeber:	Oliver Kutz, Mehul Bhatt, Stefano Borgo, Paulo Santos
Titel:	Proceedings of Workshop, SHAPES 2.0: The Shape of Things (SHAPES 2.0). Co-located with UniLog 2013: 4th World Congress and School on Universal Logic
Serie / Reihe:	CEUR-WS online proceedings
Erscheinungsjahr:	2013
Internet:	http://cindy.informatik.uni-bremen.de/cosy/events/shapes2/
PDF Version:	http://www.informatik.uni-trier.de/~ley/db/conf/shapes/shapes2013.html
Status:	Reviewed
Letzte Aktualisierung:	20. 07. 2013

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023