Summary goes here
Uloženo v:
| Médium: | Kniha |
|---|---|
| Jazyk: | angličtina |
| Témata: | |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 2f5b35a1-c02a-423e-b1ea-b890f29eeb89 |
| isbn | 3540246053 9783540246053 1280306734 9781280306730 |
| issn | |
| language | eng |
| physical | 1 online resource (xi, 530 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: ©2004 |
| publishDate | ©2004 |
| subjects | |
| title | Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / Enrico Giunchiglia, Armando Tacchella (eds.). |
| topic | Propositional calculus Decision making Computer algorithms Algorithmes Calcul propositionnel Prise de décision MATHEMATICS MATHEMATICS Computer algorithms Decision making Propositional calculus Boolesche Formel Erfüllbarkeitsproblem Kongress Calcul des propositions. Prise de décision (Mathématiques) Algorithme. proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Santa Margherita Ligure (2003) |