Suchergebnisse - Gaspers, Serge
- Treffer 1 – 3 von 3
-
1Theory and applications of satisfiability testing - SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedingsVeröffentlicht 2017Weitere beteiligte Personen: “… Gaspers, Serge …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book Wird geladen … -
2SOFSEM 2024: theory and practice of computer science: 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, proceedingsVeröffentlicht 2024Weitere beteiligte Personen: “… Gaspers, Serge …”
Signatur: Wird geladen …Online lesen
Standort: Wird geladen …
Elektronisch Tagungsbericht E-Book Wird geladen … -
3Theory and applications of satisfiability testing - SAT 2017: 20th international conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedingsVeröffentlicht 2017Weitere beteiligte Personen: “… Gaspers, Serge …”
Signatur: Wird geladen …Per Fernleihe bestellen
Standort: Wird geladen …Tagungsbericht Buch Wird geladen …