Results
|
|
|
Quantitative logic and soft computing 2016 : proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016 / Tai-He Fan, Shui-Li Chen, San-Min Wang, Yong-Ming Li, editors.
by International Conference on Quantitative Logic and Soft Computing ((4th : 2016 : Hangzhou, China)) | Chen, Shui-Li, editor literario | Fan, Tai-He, editor literario | Li, Yong Ming, editor literario | Wang, San-Min, editor literario. Material type:  E-book Publisher: Switzerland : Springer, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
Q342 .Q368 2016 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Artificial Intelligence in Music, Sound, Art and Design : 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings / edited by Juan Romero, Tiago Martins, Nereida Rodríguez-Fernández
by Romero, Juan, editor literario | Martins, Tiago, editor literario | Rodríguez-Fernández, Nereida, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 2021 EB |
reference |
|
|
|
|
|
|
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings / edited by Maribel Fernández
by Fernández, Maribel, editor literario | SpringerLink. Edition: First edition 2021Material type: E-book Publisher: Cham, Switzerland : Springer International Publising, 2021Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 2021 EB |
reference |
|
|
|
|
|
|
Theory and Practice of Logic Programming
by Association for Logic Programming. Material type:  E-journal; Type of continuing resource:
periodical
Publisher: Cambridge : Cambridge University Press, 2001-Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 ES |
reference |
|
|
|
|
|
|
Journal of Logic and Computation
by Professor Dov Gabbay. Material type: E-journal; Type of continuing resource:
periodical
Publisher: Oxford, England : Oxford University Press, 1990-Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 ES |
reference |
|
|
|
|
|
|
|
|
|
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings / edited by Pierre Schaus
by Schaus, Pierre, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.612 2022 EB |
reference |
|
|
|
|
|
|
Logic-Based Program Synthesis and Transformation : 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings / edited by Emanuele De Angelis, Wim Vanhoof
by De Angelis, Emanuele, editor literario | Vanhoof, Wim, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.63 2022 EB |
reference |
|
|
|
|
|
|
Functional and Logic Programming : 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings / edited by Michael Hanus, Atsushi Igarashi
by Hanus, Michael, editor literario | Igarashi, Atsushi, editor literario. Edition: First edition 2022Material type: E-book Publisher: Cham : Springer International Publising, 2022Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.62 2022 EB |
reference |
|
|
|
|
|
|
Answer Set Solving in Practice / by Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub
by Gebser, Martin, autor | Kaminski, Roland, autor | Kaufmann, Benjamin, autor | Schaub, Torsten, autor. Edition: 1st edition 2013Material type: E-book Publisher: Cham : Springer International Publishing, 2013Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.615 2013 EB |
reference |
|
|
|
|
|
|
General Game Playing / by Michael Genesereth, Michael Thielscher
by Genesereth, Michael R, (1948-), autor | Thielscher, Michael, autor. Edition: 1st edition 2014Material type: E-book Publisher: Cham : Springer International Publishing, 2014Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA269 2014 EB |
reference |
|
|
|
|
|
|
|
|
|
|
Datalog and Logic Databases / by Sergio Greco, Cristian Molinaro
by Greco, Sergio, autor | Molinaro, Cristian, autor. Edition: 1st edition 2016Material type: E-book Publisher: Cham : Springer International Publishing, 2016Items
| Location |
Call no. |
Status |
Vol info |
Loan type |
| Acceso Electrónico (UEM) |
QA76.73.D24 2016 EB |
reference |
|
|
|