Search Results for Cañada, A. - Narrowed by: Logic, Symbolic and mathematical.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dCa$0025C3$0025B1ada$00252C$002bA.$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300?
2024-09-14T17:01:45Z
Computability, complexity, logic
ent://SD_ILS/0/SD_ILS:257173
2024-09-14T17:01:45Z
2024-09-14T17:01:45Z
Author Börger, E. (Egon), 1946-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-based decision support mixed integer model formulation
ent://SD_ILS/0/SD_ILS:256782
2024-09-14T17:01:45Z
2024-09-14T17:01:45Z
Author Jeroslow, Robert G., 1942-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444871190">http://www.sciencedirect.com/science/book/9780444871190</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Colloquium '80 papers intended for the European summer meeting of the Association for Symbolic Logic
ent://SD_ILS/0/SD_ILS:257234
2024-09-14T17:01:45Z
2024-09-14T17:01:45Z
Author Logic Colloquium (1980 : Prague, Czech Republic) Dalen, D. van (Dirk), 1932- Lascar, D. (Daniel), 1942- Smiley, T. J. (Timothy John) Association for Symbolic Logic.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444864659">http://www.sciencedirect.com/science/book/9780444864659</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational studies selected works. Volume I
ent://SD_ILS/0/SD_ILS:257340
2024-09-14T17:01:45Z
2024-09-14T17:01:45Z
Author Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851024">http://www.sciencedirect.com/science/book/9780444851024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational studies selected works. Volume II
ent://SD_ILS/0/SD_ILS:257261
2024-09-14T17:01:45Z
2024-09-14T17:01:45Z
Author Mostowski, Andrzej. Kuratowski, Kazimierz, 1896-1980.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444851031">http://www.sciencedirect.com/science/book/9780444851031</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>