Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλ. βιβλίο |
| Γλώσσα: | English |
| Σειρά: | Lecture Notes in Computer Science,
3542 |
| Θέματα: | |
| Διαθέσιμο Online: | Click here to view the full text content |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Σύστημα σε κατάσταση συντήρησης
Ο κατάλογος της βιβλιοθήκης βρίσκεται σε κατάσταση συντήρησης.
Η κατάσταση των τεκμηρίων δεν είναι διαθέσιμη αυτή τη στιγμή. Ζητούμε συγγνώμη για το πρόβλημα. Επικοινωνήστε μαζί μας αν χρειάζεστε βοήθεια: