Search Results for Logic design - Narrowed by: Pfenning, Frank. editor. - English - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dAUTHOR$002509Author$002509Pfenning$00252C$002bFrank.$002beditor.$002509Pfenning$00252C$002bFrank.$002beditor.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-08-22T02:13:51Z Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334358 2024-08-22T02:13:51Z 2024-08-22T02:13:51Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334358.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automated Deduction &ndash; CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings ent://SD_ILS/0/SD_ILS:186906 2024-08-22T02:13:51Z 2024-08-22T02:13:51Z Author&#160;Pfenning, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-73595-3">http://dx.doi.org/10.1007/978-3-540-73595-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>