Satisfiability and model checking in team based logics / Julian-Steffen Muller.

By: Muller, Julian-Steffen [author.]Material type: TextTextPublisher: Gottingen, [Germany] : Cuvillier Verlag, 2014Copyright date: 2014Description: 1 online resource (146 pages) : illustrations (some color), tables, graphsContent type: text Media type: computer Carrier type: online resourceISBN: 9783736947597 (e-book)Subject(s): Computational complexity -- PeriodicalsGenre/Form: Electronic books.Additional physical formats: Print version:: Satisfiability and model checking in team based logics.DDC classification: 511 LOC classification: QA267 | .M855 2014Online resources: Click to View
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

"Von der Fakultat fur Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universitat Hannover zur Erlangung des Grades Doktor der Naturwissenschaften Dr. rer. nat."

Includes bibliographical references and index.

Description based on online resource; title from PDF title page (ebrary, viewed September 27, 2017).

Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.