CiNii 図書 - Handbook of satisfiability

著者

書誌事項

Handbook of satisfiability

edited by Armin Biere ... [et al.]

（Frontiers in artificial intelligence and applications, v. 185）

IOS Press, c2009

大学図書館所蔵件 / 全26件

愛媛大学図書館研

007.64||HA0312009198487

OPAC
鹿児島国際大学附属図書館図

007.64//BA10005220485

OPAC
金沢大学附属図書館自然図一般図書

007.64:B5881300-50786-1

OPAC
関西学院大学図書館上ケ原

006.6:4440004725982

OPAC
北九州学術研究都市学術情報センター北九州図書

007.64||B41000089455

OPAC
京都大学大学院情報学研究科

007.6||BIE 8||2200027176497

OPAC
京都大学理学部数学

BIE||03.75||01200008930292

OPAC
群馬大学総合情報メディアセンター理工学図書館図書館

410.9:H29201100597

OPAC
甲南大学図書館図

0728745

OPAC
神戸大学附属図書館自然科学系図書館

548-84-954030200900748

OPAC
公立千歳科学技術大学図書館

007.64||B100148776

OPAC
国立情報学研究所

007.64||2012||3068110135595

OPAC
信州大学附属図書館工学部図書館

007.64:H 292510445444

OPAC
東京工科大学メディアセンター

007.64||Bi16002715

OPAC
東京科学大学大岡山図書館

007.64/H30047702X

OPAC
東京大学駒場図書館自図

16:B2:13410251064

OPAC
東北大学電気通信研究所図書室

06100002677

OPAC
徳山工業高等専門学校図書館

007.64/B427090982

OPAC
長崎大学附属図書館

007.64||B411572482

OPAC
名古屋大学工学図書室工情報

007.64||B41476529

OPAC
名古屋大学理学図書室理数理

BIE||3.2||141546925

OPAC
広島市立大学附属図書館

0003265550

OPAC
北陸先端科学技術大学院大学附属図書館研究科

C22.3||H5110137

OPAC
三重大学附属図書館

007.64/H 2951702395

OPAC
山口大学図書館工学部図書館

007.64/B412218003718

OPAC
山梨大学附属図書館

007.642009011792

OPAC
該当する所蔵館はありません
すべての絞り込み条件を解除する

この図書・雑誌をさがす

注記

Other editors: Marijn Biere, Hans van Maaren, Toby Walsh

Includes bibliographical references and indexes

Handbook of satisfiability

著者

書誌事項

大学図書館所蔵件 / 全26件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

Handbook of satisfiability

著者

書誌事項

大学図書館所蔵 件 / 全26件

この図書・雑誌をさがす

注記

関連文献： 1件中 1-1を表示

詳細情報

書き出し

大学図書館所蔵件 / 全26件