Search Results for Computer science. - Narrowed by: E-Book - 2011 - Logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026qf$003dSUBJECT$002509Subject$002509Logic.$002509Logic.$0026ps$003d300$0026isd$003dtrue?
2024-09-09T17:51:32Z
Interpreted Languages and Compositionality
ent://SD_ILS/0/SD_ILS:206265
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Kracht, Marcus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-2108-1">http://dx.doi.org/10.1007/978-94-007-2108-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge in Formation A Computational Theory of Interpretation
ent://SD_ILS/0/SD_ILS:193503
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17089-8">http://dx.doi.org/10.1007/978-3-642-17089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Working with Preferences: Less Is More Less Is More
ent://SD_ILS/0/SD_ILS:193554
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Kaci, Souhila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17280-9">http://dx.doi.org/10.1007/978-3-642-17280-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conditionals and Modularity in General Logics
ent://SD_ILS/0/SD_ILS:193923
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19068-1">http://dx.doi.org/10.1007/978-3-642-19068-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamic Formal Epistemology
ent://SD_ILS/0/SD_ILS:205739
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Girard, Patrick. editor. Roy, Olivier. editor. Marion, Mathieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0074-1">http://dx.doi.org/10.1007/978-94-007-0074-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proof, Computation and Agency Logic at the Crossroads
ent://SD_ILS/0/SD_ILS:205741
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Logic and its Proof-Theory
ent://SD_ILS/0/SD_ILS:205716
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Braüner, Torben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0002-4">http://dx.doi.org/10.1007/978-94-007-0002-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dual Tableaux: Foundations, Methodology, Case Studies
ent://SD_ILS/0/SD_ILS:205717
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Orlowska, Ewa. author. Golińska Pilarek, Joanna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0005-5">http://dx.doi.org/10.1007/978-94-007-0005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probabilistic Logics and Probabilistic Networks
ent://SD_ILS/0/SD_ILS:205718
2024-09-09T17:51:32Z
2024-09-09T17:51:32Z
Author Haenni, Rolf. author. Romeijn, Jan-Willem. author. Wheeler, Gregory. author. Williamson, Jon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0008-6">http://dx.doi.org/10.1007/978-94-007-0008-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>