Search Results for Logic programming. - Narrowed by: Computer logic.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bprogramming.$0026qf$003dSUBJECT$002509Subject$002509Computer$002blogic.$002509Computer$002blogic.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-23T14:22:08Z
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485789
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Silva, Josep. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-16202-3">https://doi.org/10.1007/978-3-030-16202-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483241
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-20528-7">https://doi.org/10.1007/978-3-030-20528-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489089
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07151-0">https://doi.org/10.1007/978-3-319-07151-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483131
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-19570-0">https://doi.org/10.1007/978-3-030-19570-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485700
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32441-4">https://doi.org/10.1007/978-3-030-32441-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:482984
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-14174-5">https://doi.org/10.1007/978-3-030-14174-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:485680
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Ribeiro, Pedro. editor. (orcid)0000-0003-4319-4872 Sampaio, Augusto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31038-7">https://doi.org/10.1007/978-3-030-31038-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484531
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Giannakopoulou, Dimitra. editor. Kroening, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12154-3">https://doi.org/10.1007/978-3-319-12154-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations 7th International Conference, ICMT 2014, Held as Part of STAF 2014, York, UK, July 21-22, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485603
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Di Ruscio, Davide. editor. Varró, Dániel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08789-4">https://doi.org/10.1007/978-3-319-08789-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485624
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Seidl, Martina. editor. Tillmann, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09099-3">https://doi.org/10.1007/978-3-319-09099-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485667
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Giannakopoulou, Dimitra. editor. Salaün, Gwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10431-7">https://doi.org/10.1007/978-3-319-10431-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:485668
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Albert, Elvira. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10181-1">https://doi.org/10.1007/978-3-319-10181-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concrete Semantics With Isabelle/HOL
ent://SD_ILS/0/SD_ILS:485672
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Nipkow, Tobias. author. Klein, Gerwin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10542-0">https://doi.org/10.1007/978-3-319-10542-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:487371
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Ciobanu, Gabriel. editor. Méry, Dominique. editor. (orcid)0000-0001-5231-6611 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10882-7">https://doi.org/10.1007/978-3-319-10882-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theorie, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487419
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Cohen, Ernie. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54108-7">https://doi.org/10.1007/978-3-642-54108-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489028
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Bonakdarpour, Borzoo. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11164-3">https://doi.org/10.1007/978-3-319-11164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488949
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489251
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Cabot, Jordi. editor. Rubin, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09195-2">https://doi.org/10.1007/978-3-319-09195-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489622
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489003
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12466-7">https://doi.org/10.1007/978-3-319-12466-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
ent://SD_ILS/0/SD_ILS:489035
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489059
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Poole, Stephen. editor. Hernandez, Oscar. editor. (orcid)0000-0002-5380-6951 Shamis, Pavel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05215-1">https://doi.org/10.1007/978-3-319-05215-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489400
2024-12-23T14:22:08Z
2024-12-23T14:22:08Z
Author Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-08260-8">https://doi.org/10.1007/978-3-319-08260-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>