Search Results for Logic, Symbolic and mathematical. - Narrowed by: Online Library - Algorithms. - Logic, Symbolic and mathematical.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$00252C$002bSymbolic$002band$002bmathematical.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300?
2024-08-29T23:15:53Z
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
ent://SD_ILS/0/SD_ILS:332822
2024-08-29T23:15:53Z
2024-08-29T23:15:53Z
Author Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Treatise on Intuitionistic Type Theory
ent://SD_ILS/0/SD_ILS:206159
2024-08-29T23:15:53Z
2024-08-29T23:15:53Z
Author Granström, Johan Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1736-7">http://dx.doi.org/10.1007/978-94-007-1736-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Natural Deduction, Hybrid Systems and Modal Logics
ent://SD_ILS/0/SD_ILS:205315
2024-08-29T23:15:53Z
2024-08-29T23:15:53Z
Author Indrzejczak, Andrzej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-8785-0">http://dx.doi.org/10.1007/978-90-481-8785-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The P=NP Question and Gödel’s Lost Letter
ent://SD_ILS/0/SD_ILS:172787
2024-08-29T23:15:53Z
2024-08-29T23:15:53Z
Author Lipton, Richard J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7155-5">http://dx.doi.org/10.1007/978-1-4419-7155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Composition Paradigms of Automated Music Generation
ent://SD_ILS/0/SD_ILS:177042
2024-08-29T23:15:53Z
2024-08-29T23:15:53Z
Author Nierhaus, Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-211-75540-2">http://dx.doi.org/10.1007/978-3-211-75540-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parameterized Complexity Theory
ent://SD_ILS/0/SD_ILS:182197
2024-08-29T23:15:53Z
2024-08-29T23:15:53Z
Author Flum, Jörg. author. Grohe, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29953-X">http://dx.doi.org/10.1007/3-540-29953-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, automata, and algorithms
ent://SD_ILS/0/SD_ILS:257239
2024-08-29T23:15:53Z
2024-08-29T23:15:53Z
Author Aĭzerman, M. A. (Mark Aronovich), 1913-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780120463503">http://www.sciencedirect.com/science/book/9780120463503</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>