| Ulkoasu |
1 online resource (394 p.) |
|---|---|
| Kieli |
englanti |
| Huomautukset |
"... SAT 2007: 10th International Conference on Theory and Applications of Satisfiability Testing."--Pref. |
| Julkaisija |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2007.
|
| Sarja | Theoretical Computer Science and General Issues, ISSN 2512-2029; 4501 |
| Luokitus | |
| Dewey-luokitus |
511.3 |
| Aiheet | |
| Lisätiedot | edited by Joao Marques-Silva, Karem A. Sakallah |
| Pääsarja |
Lecture Notes in Computer Science |
| Muu ilmiasu |
3-540-72787-6 |
| Bibliografia |
Includes bibliographical references and index. |
| ISBN |
1-280-94947-3 9786610949472 3-540-72788-4 |
| DOI | 10.1007/978-3-540-72788-0 |
| Standarditunnukset |
doi 10.1007/978-3-540-72788-0 |
| Huomautus kielistä |
English |
| Hae kokoteksti | |
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset
