Handbook of satisfiability /
Guardat en:
| Altres autors: | |
|---|---|
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Amsterdam, The Netherlands ; Washington, DC :
IOS Press,
[2009]
|
| Col·lecció: | Frontiers in artificial intelligence and applications ;
v. 185. |
| Matèries: | |
| Accés en línia: | https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/283464 Veure a l'OPAC |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nam a2200000Ii 4500 | ||
|---|---|---|---|
| 001 | ELB283464 | ||
| 003 | FINmELB | ||
| 005 | 20250625144314.0 | ||
| 006 | m o d | | ||
| 007 | cr cnu|||||||| | ||
| 008 | 250619s2009 ne a ob 001 0 eng d | ||
| 020 | |a 9781607503767 |q (ebook) | ||
| 020 | |z 9781586039295 | ||
| 035 | |a (OCoLC)1524928678 | ||
| 040 | |a FINmELB |b eng |e rda |c FINmELB | ||
| 050 | 4 | |a QA9.3 |b .H36 2009 | |
| 082 | 0 | |a 160 |2 23 | |
| 245 | 0 | 0 | |a Handbook of satisfiability / |c edited by Armin Biere ... [and others]. |
| 264 | 1 | |a Amsterdam, The Netherlands ; |a Washington, DC : |b IOS Press, |c [2009] | |
| 264 | 4 | |c Ã2009 | |
| 300 | |a xiii, 966 pages : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a data file |2 rda | ||
| 490 | 1 | |a Frontiers in artificial intelligence and applications, |x 0922-6389 ; |v v. 185 | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | |a Description based on metadata supplied by the publisher and other sources. | ||
| 590 | |a Electronic resource. Santa Fe, Argentina: elibro, 2025. Available via the World Wide Web. Access may be limited to libraries affiliated with elibro. | ||
| 650 | 0 | |a Propositional calculus |v Congresses. | |
| 650 | 0 | |a Decision making |v Congresses. | |
| 650 | 0 | |a Computer algorithms |v Congresses. | |
| 650 | 0 | |a Algebra, Boolean |v Congresses. | |
| 655 | 4 | |a Electronic books. | |
| 700 | 1 | |a Biere, Armin. | |
| 797 | 2 | |a elibro, Corp. | |
| 830 | 0 | |a Frontiers in artificial intelligence and applications ; |v v. 185. | |
| 856 | 4 | 0 | |u https://biblioteca.ues.edu.sv/acceso/elibro/?url=https%3A%2F%2Felibro.net%2Fereader%2Fbiblioues/283464 |