Sacerdoti Coen, Claudio.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
Hanus, Michael.; SpringerLink (Online service); Sacerdoti Coen, Claudio.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
by:
Sacerdoti Coen, Claudio.; SpringerLink (Online service); Kamareddine, Fairouz.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Intelligent Computer Mathematics = 12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings /
by:
SpringerLink (Online service); Brady, Edwin.; Sacerdoti Coen, Claudio.; Kohlhase, Andrea.; Kaliszyk, Cezary.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
Hanus, Michael.; Sacerdoti Coen, Claudio.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer System Implementation.
Algorithm Analysis and Problem Complexity.
Computer logic.
Artificial intelligence.
Formal Languages and Automata Theory.
Computers and Education.
Computers, Special purpose.
Education—Data processing.
Theory of Computation.
Information Systems Applications (incl. Internet).
Architecture, Computer.
Programming Techniques.
Computer programming.
Mathematical Logic and Formal Languages.
Algorithms.
Logics and Meanings of Programs.
Special purpose computers.
Application software.
Information Systems and Communication Service.
Artificial Intelligence.
Computer Appl. in Social and Behavioral Sciences.
Special Purpose and Application-Based Systems.
Computer systems.
Computer science.
Machine theory.
Computers.
Computer Hardware.
Computer hardware.
Computer Science Logic and Foundations of Programming.