Satisfiability and model checking in team based logics /

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

Saved in:
Bibliographic Details
VerfasserIn:
Muller, Julian-Steffen,
Place / Publishing House:Gottingen, [Germany] : : Cuvillier Verlag,, 2014.
2014
Year of Publication:2014
Language:English
Online Access:
Physical Description:1 online resource (146 pages) :; illustrations (some color), tables, graphs
Notes:"Von der Fakultat fur Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universitat Hannover zur Erlangung des Grades Doktor der Naturwissenschaften Dr. rer. nat."
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5005019274
ctrlnum (MiAaPQ)5005019274
(Au-PeEL)EBL5019274
(CaPaEBR)ebr11431965
(OCoLC)1003261150
collection bib_alma
record_format marc
spelling Muller, Julian-Steffen, author.
Satisfiability and model checking in team based logics / Julian-Steffen Muller.
Gottingen, [Germany] : Cuvillier Verlag, 2014.
2014
1 online resource (146 pages) : illustrations (some color), tables, graphs
text rdacontent
computer rdamedia
online resource rdacarrier
"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.
Computational complexity Periodicals.
Electronic books.
Print version: Muller, Julian-Steffen. Satisfiability and model checking in team based logics. Gottingen, [Germany] : Cuvillier Verlag, c2014 143 pages 9783954047598
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5019274 Click to View
language English
format eBook
author Muller, Julian-Steffen,
spellingShingle Muller, Julian-Steffen,
Satisfiability and model checking in team based logics /
author_facet Muller, Julian-Steffen,
author_variant j s m jsm
author_role VerfasserIn
author_sort Muller, Julian-Steffen,
title Satisfiability and model checking in team based logics /
title_full Satisfiability and model checking in team based logics / Julian-Steffen Muller.
title_fullStr Satisfiability and model checking in team based logics / Julian-Steffen Muller.
title_full_unstemmed Satisfiability and model checking in team based logics / Julian-Steffen Muller.
title_auth Satisfiability and model checking in team based logics /
title_new Satisfiability and model checking in team based logics /
title_sort satisfiability and model checking in team based logics /
publisher Cuvillier Verlag,
publishDate 2014
physical 1 online resource (146 pages) : illustrations (some color), tables, graphs
isbn 9783736947597 (e-book)
9783954047598
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA267
callnumber-sort QA 3267 M855 42014
genre Electronic books.
genre_facet Periodicals.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5019274
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511
dewey-sort 3511
dewey-raw 511
dewey-search 511
oclc_num 1003261150
work_keys_str_mv AT mullerjuliansteffen satisfiabilityandmodelcheckinginteambasedlogics
status_str n
ids_txt_mv (MiAaPQ)5005019274
(Au-PeEL)EBL5019274
(CaPaEBR)ebr11431965
(OCoLC)1003261150
is_hierarchy_title Satisfiability and model checking in team based logics /
_version_ 1792330958876180480
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01909nam a2200409 i 4500</leader><controlfield tag="001">5005019274</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">170928t20142014gw a ob 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783954047598</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783736947597 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5005019274</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL5019274</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11431965</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1003261150</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA267</subfield><subfield code="b">.M855 2014</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Muller, Julian-Steffen,</subfield><subfield code="e">author.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Satisfiability and model checking in team based logics /</subfield><subfield code="c">Julian-Steffen Muller.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Gottingen, [Germany] :</subfield><subfield code="b">Cuvillier Verlag,</subfield><subfield code="c">2014.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (146 pages) :</subfield><subfield code="b">illustrations (some color), tables, graphs</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Von der Fakultat fur Elektrotechnik und Informatik der Gottfried Wilhelm Leibniz Universitat Hannover zur Erlangung des Grades Doktor der Naturwissenschaften Dr. rer. nat."</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (ebrary, viewed September 27, 2017).</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational complexity</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Muller, Julian-Steffen.</subfield><subfield code="t">Satisfiability and model checking in team based logics.</subfield><subfield code="d">Gottingen, [Germany] : Cuvillier Verlag, c2014 </subfield><subfield code="h">143 pages </subfield><subfield code="z">9783954047598</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=5019274</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items