Search Results for Logic, Symbolic and mathematical. - Narrowed by: Artemov, Sergei. editor. - English
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dAUTHOR$002509Author$002509Artemov$00252C$002bSergei.$002beditor.$002509Artemov$00252C$002bSergei.$002beditor.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-28T14:40:53Z
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334038
2024-08-28T14:40:53Z
2024-08-28T14:40:53Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189435
2024-08-28T14:40:53Z
2024-08-28T14:40:53Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92687-0">http://dx.doi.org/10.1007/978-3-540-92687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>