СБ |
Functional and Constraint Logic Programming: Revised Selected Papers/28th International Workshop, WFLD 2020, Bologna, Italy, September 2020 |
2021 |
|
Lecture Notes in Computer Science |
- Hanus M.
- Coen C. S.
|
|
|
25.06.2021 |
СБ |
Intelligent Computer Mathematics: Proc./14th International Conference, CICM 2021, Timisoara, Romania, July 2021 |
2021 |
|
Lecture Notes in Artificial Intelligence |
- Kamareddine F.
- Coen C. S.
|
|
|
20.08.2021 |
СБ |
Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009 |
2009 |
|
Lecture Notes in Artificial Intelligence |
- Carette J.
- Dixon L.
- Coen C. S.
- Watt S. M.
|
|
|
13.04.2010 |