Satisfiability and model checking in team based logics / Julian-Steffen Müller.
2014
QA267 .M855 2014
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Details
Title
Satisfiability and model checking in team based logics / Julian-Steffen Müller.
ISBN
9783954047598
9783736947597 (e-book)
9783736947597 (e-book)
Published
Göttingen, [Germany] : Cuvillier Verlag, 2014.
Copyright
©2014
Language
English
Description
1 online resource (146 pages) : illustrations (some color), tables, graphs.
Call Number
QA267 .M855 2014
Dewey Decimal Classification
511
Note
"Von der Fakultät für Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universität Hannover zur Erlangung des Grades Doktor der Naturwissenschaften Dr. rer. nat."
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (ebrary, viewed September 27, 2017).
Available in Other Form
Linked Resources
Record Appears in