Arama Sonuçları - Daraltılmış: Corzilius, Florian, author. - Rheinisch-Westfaelische Technische Hochschule Aachen (Germany). degree granting institution.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Corzilius$00252C$002bFlorian$00252C$002bauthor.$002509Corzilius$00252C$002bFlorian$00252C$002bauthor.$0026qf$003dAUTHOR$002509Yazar$002509Rheinisch-Westfaelische$002bTechnische$002bHochschule$002bAachen$002b$002528Germany$002529.$002bdegree$002bgranting$002binstitution.$002509Rheinisch-Westfaelische$002bTechnische$002bHochschule$002bAachen$002b$002528Germany$002529.$002bdegree$002bgranting$002binstitution.$0026ps$003d300?
2024-06-25T16:17:03Z
Integrating virtual substitution into strategic smt solving = Integration der virtuellen Substitution in strategisches SMT Solving
ent://SD_ILS/0/SD_ILS:686045
2024-06-25T16:17:03Z
2024-06-25T16:17:03Z
by Corzilius, Florian, author.<br/><a href="http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10869958">http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10869958</a><br/>Format: Kitap<br/>