Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Limit/Sort Search

Available items only

Previous Record Next Record

E-Book/E-Doc

Author

Muller, Julian-Steffen, author.

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

Publication Info.	Gottingen, [Germany] : Cuvillier Verlag, 2014.
	2014

Connect to
Available to Pittsburg State University patrons only.

Copies

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	1 online resource (146 pages) : illustrations (some color), tables, graphs
	text rdacontent
	computer rdamedia
	online resource rdacarrier
Note	"Von der Fakultat fur Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universitat Hannover zur Erlangung des Grades Doktor der Naturwissenschaften Dr. rer. nat."
Bibliography	Includes bibliographical references and index.
Note	Description based on online resource; title from PDF title page (ebrary, viewed September 27, 2017).
Subject	Computational complexity -- Periodicals.
Genre/Form	Electronic books.
Other Form:	Print version: Muller, Julian-Steffen. Satisfiability and model checking in team based logics. Gottingen, [Germany] : Cuvillier Verlag, c2014 143 pages 9783954047598
ISBN	9783954047598
	9783736947597 (e-book)