Search Results for Logic. - Narrowed by: Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 - Mathematical logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dAUTHOR$002509Author$002509Popescu$00252C$002bAndrei.$002beditor.$002b$002528orcid$0025290000-0001-8747-0619$002509Popescu$00252C$002bAndrei.$002beditor.$002b$002528orcid$0025290000-0001-8747-0619$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026te$003dILS$0026ps$003d300?
2024-09-21T01:50:03Z
Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483605
2024-09-21T01:50:03Z
2024-09-21T01:50:03Z
Author Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483829
2024-09-21T01:50:03Z
2024-09-21T01:50:03Z
Author Herzig, Andreas. editor. (orcid)0000-0003-0833-2782 Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29007-8">https://doi.org/10.1007/978-3-030-29007-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>