SAT 2000 : highlights of Satisfiability research in the year 2000

SAT 2000 : highlights of Satisfiability research in the year 2000 / ed. by Ian Gent ...

Saved in:
Bibliographic Details
Superior document:Frontiers in artificial intelligence and applications 63
HerausgeberIn:
Gent, Ian
Place / Publishing House:Amsterdam [u.a.] : IOS Pr. [u.a.], 2000
Year of Publication:2000
Language:English
Series:Frontiers in artificial intelligence and applications 63
Physical Description:561 S.; graph. Darst.; 25 cm
Notes:Literaturangaben
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990000673710504498
ctrlnum AC04026878
(AT-OBV)AC04026878
(Aleph)004015935ACC01
(DE-599)OBVAC04026878
(EXLNZ-43ACC_NETWORK)990040159350203331
collection bib_alma
institution YWOAW
building MAG1-3
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00841nam#a2200289zcb4500</leader><controlfield tag="001">990000673710504498</controlfield><controlfield tag="005">20230428224704.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">040305|2000####|||###########|||#|#eng#c</controlfield><controlfield tag="009">AC04026878</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586030612</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">427490363X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC04026878</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC04026878</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)004015935ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC04026878</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990040159350203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OAW</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-DE</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">SAT 2000</subfield><subfield code="b">highlights of Satisfiability research in the year 2000</subfield><subfield code="c">ed. by Ian Gent ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">IOS Pr. [u.a.]</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">561 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">25 cm</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Frontiers in artificial intelligence and applications</subfield><subfield code="v">63</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gent, Ian</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00368358</subfield><subfield code="v">63</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">33</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-04-28 22:47:04 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 05:18:57 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">31514-C</subfield><subfield code="c">MAG1-3</subfield><subfield code="8">2214095520004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1-3</subfield><subfield code="h">31514-C</subfield><subfield code="8">2214095520004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2214095520004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW3804203</subfield><subfield code="i">31514-C</subfield><subfield code="2">MAG1-3</subfield><subfield code="o">20040305</subfield><subfield code="8">2314095510004498</subfield><subfield code="f">02</subfield><subfield code="p">2004-03-05 01:00:00 Europe/Vienna</subfield><subfield code="h">31514-C</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-09 11:14:23 Europe/Vienna</subfield></datafield></record></collection>
record_format marc
spelling SAT 2000 highlights of Satisfiability research in the year 2000 ed. by Ian Gent ...
Amsterdam [u.a.] IOS Pr. [u.a.] 2000
561 S. graph. Darst. 25 cm
Frontiers in artificial intelligence and applications 63
Literaturangaben
Gent, Ian edt
(AT-OBV)AC00368358 63
YWOAW MAG1-3 31514-C 2214095520004498
language English
format Book
author2 Gent, Ian
author_facet Gent, Ian
author2_variant i g ig
author2_role HerausgeberIn
title SAT 2000 highlights of Satisfiability research in the year 2000
spellingShingle SAT 2000 highlights of Satisfiability research in the year 2000
Frontiers in artificial intelligence and applications
title_sub highlights of Satisfiability research in the year 2000
title_full SAT 2000 highlights of Satisfiability research in the year 2000 ed. by Ian Gent ...
title_fullStr SAT 2000 highlights of Satisfiability research in the year 2000 ed. by Ian Gent ...
title_full_unstemmed SAT 2000 highlights of Satisfiability research in the year 2000 ed. by Ian Gent ...
title_auth SAT 2000 highlights of Satisfiability research in the year 2000
title_new SAT 2000
title_sort sat 2000 highlights of satisfiability research in the year 2000
series Frontiers in artificial intelligence and applications
series2 Frontiers in artificial intelligence and applications
publisher IOS Pr. [u.a.]
publishDate 2000
physical 561 S. graph. Darst. 25 cm
isbn 1586030612
427490363X
callnumber-raw 31514-C
callnumber-search 31514-C
illustrated Not Illustrated
work_keys_str_mv AT gentian sat2000highlightsofsatisfiabilityresearchintheyear2000
status_str n
ids_txt_mv (AT-OBV)AC04026878
AC04026878
(Aleph)004015935ACC01
(DE-599)OBVAC04026878
(EXLNZ-43ACC_NETWORK)990040159350203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 31514-C
hol852cSonderstandort_txt_mv MAG1-3
itmData_txt_mv 2004-03-05 01:00:00 Europe/Vienna
barcode_str_mv +YW3804203
callnumbers_txt_mv 31514-C
inventoryNumbers_str_mv 31514-C
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1-3
inventoryDates_str_mv 20040305
createdDates_str_mv 2004-03-05 01:00:00 Europe/Vienna
holdingIds_str_mv 2214095520004498
hierarchy_parent_id AC00368358
hierarchy_parent_title Frontiers in artificial intelligence and applications 63
hierarchy_sequence 63
is_hierarchy_id AC04026878
is_hierarchy_title SAT 2000 highlights of Satisfiability research in the year 2000
container_title Frontiers in artificial intelligence and applications 63
container_reference AC00368358
author2_original_writing_str_mv noLinkedField
_version_ 1787548331601297410

Similar Items