Recent progress in the Boolean domain /

Recent progress in the Boolean domain / / edited by Bernd Steinbach.

Saved in:
Bibliographic Details
TeilnehmendeR:
Steinbach, Bernd,
Place / Publishing House:Newcastle upon Tyne, England : : Cambridge Scholars Publishing,, 2014.
2014
Year of Publication:2014
Language:English
Online Access:
Physical Description:1 online resource (458 pages) :; illustrations
Notes:"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5001683200
ctrlnum (MiAaPQ)5001683200
(Au-PeEL)EBL1683200
(CaPaEBR)ebr10870458
(CaONFJC)MIL602426
(OCoLC)879026105
collection bib_alma
record_format marc
spelling Recent progress in the Boolean domain / edited by Bernd Steinbach.
Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.
2014
1 online resource (458 pages) : illustrations
text rdacontent
computer rdamedia
online resource rdacarrier
"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."
Includes bibliographical references and index.
Description based on online resource; title from PDF title page (ebrary, viewed May 21, 2014).
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Automatic theorem proving Congresses.
Logic, Symbolic and mathematical Congresses.
Electronic books.
Steinbach, Bernd, editor.
Print version: Recent progress in the Boolean domain. Newcastle upon Tyne, England : Cambridge Scholars Publishing, c2014 xxx, 428 pages 9781443856386
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1683200 Click to View
language English
format eBook
author2 Steinbach, Bernd,
author_facet Steinbach, Bernd,
author2_variant b s bs
author2_role TeilnehmendeR
title Recent progress in the Boolean domain /
spellingShingle Recent progress in the Boolean domain /
title_full Recent progress in the Boolean domain / edited by Bernd Steinbach.
title_fullStr Recent progress in the Boolean domain / edited by Bernd Steinbach.
title_full_unstemmed Recent progress in the Boolean domain / edited by Bernd Steinbach.
title_auth Recent progress in the Boolean domain /
title_new Recent progress in the Boolean domain /
title_sort recent progress in the boolean domain /
publisher Cambridge Scholars Publishing,
publishDate 2014
physical 1 online resource (458 pages) : illustrations
isbn 9781443859677
9781443856386
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 A96 R434 42014
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1683200
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 004 - Data processing & computer science
dewey-full 004.015113
dewey-sort 14.015113
dewey-raw 004.015113
dewey-search 004.015113
oclc_num 879026105
work_keys_str_mv AT steinbachbernd recentprogressinthebooleandomain
status_str n
ids_txt_mv (MiAaPQ)5001683200
(Au-PeEL)EBL1683200
(CaPaEBR)ebr10870458
(CaONFJC)MIL602426
(OCoLC)879026105
is_hierarchy_title Recent progress in the Boolean domain /
author2_original_writing_str_mv noLinkedField
_version_ 1792330779526692864
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01933nam a2200433 i 4500</leader><controlfield tag="001">5001683200</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">140523t20142014enka ob 101 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781443856386</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781443859677</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5001683200</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL1683200</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10870458</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL602426</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879026105</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">QA76.9.A96</subfield><subfield code="b">.R434 2014</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.015113</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Recent progress in the Boolean domain /</subfield><subfield code="c">edited by Bernd Steinbach.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Newcastle upon Tyne, England :</subfield><subfield code="b">Cambridge Scholars Publishing,</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 (458 pages) :</subfield><subfield code="b">illustrations</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">"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."</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 May 21, 2014).</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steinbach, Bernd,</subfield><subfield code="e">editor.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Recent progress in the Boolean domain.</subfield><subfield code="d">Newcastle upon Tyne, England : Cambridge Scholars Publishing, c2014 </subfield><subfield code="h">xxx, 428 pages </subfield><subfield code="z">9781443856386</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=1683200</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items