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

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.