Viimati ilmunud raamatud https://www.kriso.ee Wed, 08 May 2024 00:00:00 GMT Wed, 08 May 2024 00:00:00 GMT Hybrid Models for Coupling Deductive and Inductive Reasoning: Third International Workshop, HYDRA 2024, Santiago de Compostela, Spain, October 20, 2024, Revised Selected Papers https://www.kriso.ee/hybrid-models-coupling-deductive-inductive-reasoning-db-9783031893650.html <a href="https://www.kriso.ee/hybrid-models-coupling-deductive-inductive-reasoning-db-9783031893650.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031893650.jpg" align="left" hspace="5" > </a>Pierangela Bruno, Francesco Calimeri, Francesco Cauteruccio, Giorgio Terracina<br>ISBN: 9783031893650<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 08-May-2024<br> Hind: 57,96 € https://www.kriso.ee/db/9783031893650.html Wed, 08 May 2024 00:00:00 GMT Logic-Based Program Synthesis and Transformation: 34th International Symposium, LOPSTR 2024, Milan, Italy, September 910, 2024, Proceedings 2024 ed. https://www.kriso.ee/logic-based-program-synthesis-transformation-34th-db-9783031712937.html <a href="https://www.kriso.ee/logic-based-program-synthesis-transformation-34th-db-9783031712937.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031712937.jpg" align="left" hspace="5" > </a>Juliana Bowles, Harald Søndergaard<br>ISBN: 9783031712937<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 07-Sep-2023<br> Hind: 56,11 € https://www.kriso.ee/db/9783031712937.html Thu, 07 Sep 2023 00:00:00 GMT Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 1517, 2024, Proceedings https://www.kriso.ee/functional-logic-programming-17th-international-symposium-db-9789819722990.html <a href="https://www.kriso.ee/functional-logic-programming-17th-international-symposium-db-9789819722990.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978981/9789819722990.jpg" align="left" hspace="5" > </a>Jeremy Gibbons, Dale Miller<br>ISBN: 9789819722990<br> Kirjastus: Springer Nature<br> Formaat: Pehme köide, Ilmumisaeg: 16-May-2023<br> Hind: 62,59 € https://www.kriso.ee/db/9789819722990.html Tue, 16 May 2023 00:00:00 GMT Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 2830, 2022, Proceedings 2024 ed. https://www.kriso.ee/inductive-logic-programming-31st-international-conference-db-9783031556296.html <a href="https://www.kriso.ee/inductive-logic-programming-31st-international-conference-db-9783031556296.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031556296.jpg" align="left" hspace="5" > </a>Stephen H. Muggleton, Alireza Tamaddoni-Nezhad<br>ISBN: 9783031556296<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 20-Mar-2023<br> Hind: 53,33 € https://www.kriso.ee/db/9783031556296.html Mon, 20 Mar 2023 00:00:00 GMT Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings 1st ed. 2023 https://www.kriso.ee/logic-based-program-synthesis-transformation-33rd-db-9783031457838.html <a href="https://www.kriso.ee/logic-based-program-synthesis-transformation-33rd-db-9783031457838.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031457838.jpg" align="left" hspace="5" > </a>Robert Glück, Bishoksan Kafle<br>ISBN: 9783031457838<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 16-Oct-2022<br> Hind: 53,33 € https://www.kriso.ee/db/9783031457838.html Sun, 16 Oct 2022 00:00:00 GMT Rules and Reasoning: 7th International Joint Conference, RuleMLplusRR 2023, Oslo, Norway, September 1820, 2023, Proceedings 1st ed. 2023 https://www.kriso.ee/rules-reasoning-7th-international-joint-conference-db-9783031450716.html <a href="https://www.kriso.ee/rules-reasoning-7th-international-joint-conference-db-9783031450716.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031450716.jpg" align="left" hspace="5" > </a>Anna Fensel, Ana Ozaki, Dumitru Roman, Ahmet Soylu<br>ISBN: 9783031450716<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 15-Oct-2022<br> Hind: 62,59 € https://www.kriso.ee/db/9783031450716.html Sat, 15 Oct 2022 00:00:00 GMT Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleMLplusRR 2022, Berlin, Germany, September 2628, 2022, Proceedings 1st ed. 2022 https://www.kriso.ee/rules-reasoning-6th-international-joint-conference-db-9783031215407.html <a href="https://www.kriso.ee/rules-reasoning-6th-international-joint-conference-db-9783031215407.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031215407.jpg" align="left" hspace="5" > </a>Guido Governatori, Anni-Yasmin Turhan<br>ISBN: 9783031215407<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 14-Dec-2021<br> Hind: 62,59 € https://www.kriso.ee/db/9783031215407.html Tue, 14 Dec 2021 00:00:00 GMT Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 2123, 2022, Proceedings 1st ed. 2022 https://www.kriso.ee/logic-based-program-synthesis-transformation-32nd-db-9783031167669.html <a href="https://www.kriso.ee/logic-based-program-synthesis-transformation-32nd-db-9783031167669.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031167669.jpg" align="left" hspace="5" > </a>Alicia Villanueva<br>ISBN: 9783031167669<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 11-Sep-2021<br> Hind: 53,33 € https://www.kriso.ee/db/9783031167669.html Sat, 11 Sep 2021 00:00:00 GMT Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 59, 2022, Proceedings 1st ed. 2022 https://www.kriso.ee/logic-programming-nonmonotonic-reasoning-16th-international-db-9783031157066.html <a href="https://www.kriso.ee/logic-programming-nonmonotonic-reasoning-16th-international-db-9783031157066.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783031157066.jpg" align="left" hspace="5" > </a>Georg Gottlob, Daniela Inclezan, Marco Maratea<br>ISBN: 9783031157066<br> Kirjastus: Springer International Publishing AG<br> Formaat: Pehme köide, Ilmumisaeg: 27-Aug-2021<br> Hind: 76,96 € https://www.kriso.ee/db/9783031157066.html Fri, 27 Aug 2021 00:00:00 GMT Functional and Logic Programming: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 1012, 2022, Proceedings 1st ed. 2022 https://www.kriso.ee/functional-logic-programming-16th-international-symposium-db-9783030994600.html <a href="https://www.kriso.ee/functional-logic-programming-16th-international-symposium-db-9783030994600.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030994600.jpg" align="left" hspace="5" > </a>Michael Hanus, Atsushi Igarashi<br>ISBN: 9783030994600<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 31-Mar-2021<br> Hind: 62,59 € https://www.kriso.ee/db/9783030994600.html Wed, 31 Mar 2021 00:00:00 GMT Logic-Based Program Synthesis and Transformation: 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 78, 2021, Proceedings 1st ed. 2022 https://www.kriso.ee/logic-based-program-synthesis-transformation-31st-db-9783030988685.html <a href="https://www.kriso.ee/logic-based-program-synthesis-transformation-31st-db-9783030988685.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030988685.jpg" align="left" hspace="5" > </a>Emanuele De Angelis, Wim Vanhoof<br>ISBN: 9783030988685<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 13-Mar-2021<br> Hind: 53,33 € https://www.kriso.ee/db/9783030988685.html Sat, 13 Mar 2021 00:00:00 GMT Inductive Logic Programming: 30th International Conference, ILP 2021, Virtual Event, October 2527, 2021, Proceedings 1st ed. 2022 https://www.kriso.ee/inductive-logic-programming-30th-international-conference-db-9783030974534.html <a href="https://www.kriso.ee/inductive-logic-programming-30th-international-conference-db-9783030974534.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030974534.jpg" align="left" hspace="5" > </a>Nikos Katzouris, Alexander Artikis<br>ISBN: 9783030974534<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 24-Feb-2021<br> Hind: 62,59 € https://www.kriso.ee/db/9783030974534.html Wed, 24 Feb 2021 00:00:00 GMT Rules and Reasoning: 5th International Joint Conference, RuleMLplusRR 2021, Leuven, Belgium, September 1315, 2021, Proceedings 1st ed. 2021 https://www.kriso.ee/rules-reasoning-5th-international-joint-conference-db-9783030911669.html <a href="https://www.kriso.ee/rules-reasoning-5th-international-joint-conference-db-9783030911669.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030911669.jpg" align="left" hspace="5" > </a>Sotiris Moschoyiannis, Rafael Peñaloza, Jan Vanthienen, Ahmet Soylu, Dumitru Roman<br>ISBN: 9783030911669<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 02-Dec-2020<br> Hind: 62,59 € https://www.kriso.ee/db/9783030911669.html Wed, 02 Dec 2020 00:00:00 GMT Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 1719, 2021, Revised Selected Papers 1st ed. 2021 https://www.kriso.ee/trends-functional-programming-22nd-international-symposium-db-9783030839772.html <a href="https://www.kriso.ee/trends-functional-programming-22nd-international-symposium-db-9783030839772.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030839772.jpg" align="left" hspace="5" > </a>Viktória Zsók, John Hughes<br>ISBN: 9783030839772<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 29-Jul-2020<br> Hind: 39,43 € https://www.kriso.ee/db/9783030839772.html Wed, 29 Jul 2020 00:00:00 GMT Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers 1st ed. 2021 https://www.kriso.ee/functional-constraint-logic-programming-28th-international-db-9783030753320.html <a href="https://www.kriso.ee/functional-constraint-logic-programming-28th-international-db-9783030753320.html"><img border="0" src="https://www.kriso.ee/covers/thumb/978303/9783030753320.jpg" align="left" hspace="5" > </a>Michael Hanus, Claudio Sacerdoti Coen<br>ISBN: 9783030753320<br> Kirjastus: Springer Nature Switzerland AG<br> Formaat: Pehme köide, Ilmumisaeg: 06-May-2020<br> Hind: 48,70 € https://www.kriso.ee/db/9783030753320.html Wed, 06 May 2020 00:00:00 GMT