1
Chatbot Research and Design [E-Book] : 7th International Workshop, CONVERSATIONS 2023, Oslo, Norway, November 22-23, 2023, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
2
Active Object Languages: Current Research Trends [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
3
Software Engineering and Formal Methods [E-Book] : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
4
Dynamics in Logic and Language [E-Book] : Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1-4, 2022, Revised Selected Papers /
Deng, Dun
2023
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
5
Chatbot Research and Design [E-Book] : 6th International Workshop, CONVERSATIONS 2022, Amsterdam, The Netherlands, November 22-23, 2022, Revised Selected Papers /
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
6
Hands-on Julia programming : an authoritative guide to the production-ready systems in Julia [E-Book] /
Subject (ZB): “...Logic, Symbolic and mathematical....”

Full text 
Favorites
Saved in:
7
Software Engineering and Formal Methods [E-Book] : 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings /
Chai, Ming
2022
Subject (ZB): “...Logic programming....”

Full text 
Favorites
Saved in:
8
Foundations of Software Science and Computation Structures [E-Book] : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
9
Logic and Argumentation [E-Book] : 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings /
Subject (ZB): “...Computer logic....”

Full text 
Favorites
Saved in:
10
OpenMP: Enabling Massive Node-Level Parallelism [E-Book] : 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14-16, 2021, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
11
Logics in Artificial Intelligence [E-Book] : 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings /
Subject (ZB): “...Computer logic....”

Full text 
Favorites
Saved in:
12
Nonsequential and Distributed Programming with Go [E-Book] : Synchronization of Concurrent Processes: Communication - Cooperation - Competition /
Subject (ZB): “...Computer logic....”

Full text 
Favorites
Saved in:
13
Functional and Constraint Logic Programming [E-Book] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
Subject (ZB): “...Computer logic....”

Full text 
Favorites
Saved in:
14
Recent Trends in Algebraic Development Techniques [E-Book] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
Subject (ZB): “...Computer logic....”

Full text 
Favorites
Saved in:
15
Anyone can code : the art and science of logical creativity [E-Book] /
Arya, Ali
2021
Subject (ZB): “...Logic....”

Full text 
Favorites
Saved in:
16
High Performance Computing [E-Book] : ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
17
Intelligent Computer Mathematics [E-Book] : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
Subject (ZB): “...Mathematical logic....”

Full text 
Favorites
Saved in:
18
Scaling OpenMP for Exascale Performance and Portability [E-Book] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
19
High Performance Computing [E-Book] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
20
Functional and Logic Programming [E-Book] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
King, Andy
2016
Subject (ZB): “...Computer logic....”

Full text 
Favorites
Saved in:

Narrow Search Results