Zur temporalen Logik von Baumen / Bernd-Holger Schlingloff
Main AuthorSchlingloff, Bernd-HolgerCountryAlemanha.PublicationMünchen : Institut für Informatik der Technische Universitat München, 1990Description189 p. ;
21 cmSeriesTUM , I9012CDU519.68
Tags from this library:No tags from this library for this title.Log in to add tags.
There are no comments for this item.