Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - Online Library - 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$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092018$0025092018$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026ps$003d300$0026isd$003dtrue? 2024-09-11T22:57:52Z 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-11T22:57:52Z 2024-09-11T22:57:52Z 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-11T22:57:52Z 2024-09-11T22:57:52Z 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/>