Sacerdoti Coen, Claudio.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
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.