Handbook of satisfiability

フォーマット:

図書

責任表示:

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

言語:

英語

出版情報:

Amsterdam : IOS Press, c2009

形態:

xiii, 966 p. ; 25 cm

著者名:

シリーズ名:

書誌ID:

BA89161568

ISSN:

09226389

ISBN:

9781586039295 [1586039296]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Algebra, Boolean--Congresses; Computer algorithms--Congresses; Decision making--Congresses; Propositional calculus--Congresses
分類・件名:	LCC : QA9.3 LCSH : Propositional calculus -- Congresses LCSH : Decision making -- Congresses LCSH : Computer algorithms -- Congresses LCSH : Algebra, Boolean -- Congresses
LCCN:	2008942733
注記:	Other editors: Marijn Biere, Hans van Maaren, Toby Walsh Includes bibliographical references and indexes

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Algorithms and computation : 10th International Symposium, ISAAC '99, Chennai, India, December 16-18, 1999 : proceedings ISAAC (Conference), Aggarwal, Alok, Rangan, C. Pandu Springer	7 図書 Economic policy coordination in the Euro area Steinbach, Armin Routledge
2 図書 Handbook of career counseling for women Walsh, W. Bruce, 1936-, Heppner, Mary J. Lawrence Erlbaum	8 楽譜 Concertino für Violoncello und Streichorchester Schibler, Armin E. Eulenburg
3 図書 Handbook of computational economics Amman, Hans M., Kendrick, David A., 1937-, Rust, John, 1955- Elsevier	9 楽譜 Concertino für Klarinette in B♭ und Streichorchester Op. 49 Schibler, Armin E. Eulenburg
4 図書 International handbook of research in professional and practice-based learning Billett, Stephen, Harteis, Christian, Gruber, Hans, 1960- Springer	10 楽譜 Konzert für Schlagzeug, Klavier und Streichorchester, Op. 76 (1962/1963) Schibler, Armin E. Eulenburg
5 図書 The theory and practice of income tax Toby, Richard A. Sweet and Maxwell	11 図書 Abschied vom Gymnasium ? : zur Zukunft unseres Schulsystems Himmelrath, Armin Herder
6 図書 Strategies for democratic employeeownership : report of an international conference held at the Scandic Crown Hotel, Rotherhithe, London on 13th-14th … Toby Johnson Industrial Common OwnershipMovement	12 図書 The military father : a hands-on guide for deployed dads Brott, Armin A. Abbeville Press