Pastāsti draugiem par šo preci:
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings - Lecture Notes in Computer Science 1st ed. 2020 edition
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings - Lecture Notes in Computer Science
538 pages, 70 Illustrations, color; 201 Illustrations, black and white; XI, 538 p. 271 illus., 70 il
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2020. gada 1. jūlijs |
| ISBN13 | 9783030518240 |
| Izdevēji | Springer Nature Switzerland AG |
| Lapas | 538 |
| Izmēri | 150 × 220 × 10 mm · 836 g |
| Valoda | Vācu |
| Redaktors | Pulina, Luca |
| Redaktors | Seidl, Martina |