Tum Institut für Informatik zur temporalen Logik von Bäumen

Tum Institut für Informatik zur temporalen Lo ...
Bernd-Holger Schlingloff, Bern ...
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by MARC Bot
December 8, 2024 | History

Tum Institut für Informatik zur temporalen Logik von Bäumen

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
German
Pages
189

Buy this book

Book Details


Edition Notes

Thesis (doctoral)--Technische Universität München, 1990.

The Physical Object

Pagination
189 p.
Number of pages
189

Edition Identifiers

Open Library
OL57062236M
OCLC/WorldCat
52806728

Work Identifiers

Work ID
OL42023925W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 8, 2024 Created by MARC Bot Imported from harvard_bibliographic_metadata record