Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - 2018 - Logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-10T15:56:58Z Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties ent://SD_ILS/0/SD_ILS:399566 2024-09-10T15:56:58Z 2024-09-10T15:56:58Z Author&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89650-2">https://doi.org/10.1007/978-3-319-89650-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size ent://SD_ILS/0/SD_ILS:399576 2024-09-10T15:56:58Z 2024-09-10T15:56:58Z Author&#160;Schlechta, Karl. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89653-3">https://doi.org/10.1007/978-3-319-89653-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>