Search Results for - Narrowed by: linguistics - Biere, Armin SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509linguistics$002509linguistics$0026qf$003dAUTHOR$002509Author$002509Biere$00252C$002bArmin$002509Biere$00252C$002bArmin$0026ps$003d300? 2024-05-23T16:46:19Z Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II ent://SD_ILS/0/SD_ILS:2200512 2024-05-23T16:46:19Z 2024-05-23T16:46:19Z by&#160;Biere, Armin<br/><a href="https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf">DOAB: download the publication</a> <a href="https://directory.doabooks.org/handle/20.500.12854/33908">DOAB: description of the publication</a><br/>Format:&#160;Books<br/> Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I ent://SD_ILS/0/SD_ILS:2198982 2024-05-23T16:46:19Z 2024-05-23T16:46:19Z by&#160;Biere, Armin<br/><a href="https://library.oapen.org/bitstream/20.500.12657/37722/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf">DOAB: download the publication</a> <a href="https://directory.doabooks.org/handle/20.500.12854/31311">DOAB: description of the publication</a><br/>Format:&#160;Books<br/>