Handbook of satisfiability

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

2009

Handbook of satisfiability

Základní údaje

Originální název

Handbook of satisfiability

Autoři

Edited by Armin Biere.

Vydání

Amsterdam, xiii, 966, 2009

Nakladatel

IOS Press

Další údaje

Označené pro přenos do RIV

ISBN

9781586039295

Změněno: 8. 8. 2022 13:58, Záznam byl importován z knihovního systému.

Handbook of satisfiability. Edited by Armin Biere. Amsterdam: IOS Press, 2009, xiii, 966. ISBN 9781586039295.

@article{,
   address = {Amsterdam},
   location = {Amsterdam},
   isbn = {9781586039295},
   publisher = {IOS Press},
   title = {Handbook of satisfiability},
   year = {2009}
}

TY  - JOUR
PY  - 2009
TI  - Handbook of satisfiability
PB  - IOS Press
CY  - Amsterdam
SN  - 9781586039295
ER  -

\textit{Handbook of satisfiability}. Edited by Armin Biere. Amsterdam: IOS Press, 2009, xiii, 966. ISBN~9781586039295.