Hanus, Michael.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
Hanus, Michael.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
Sacerdoti Coen, Claudio.; Hanus, Michael.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Declarative programming and knowledge management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Wurzburg, Germany, September 19-22, 2017 : revised selected papers /
by:
Seipel, Dietmar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Abreu, Salvador.; SpringerLink (Online service); Hanus, Michael.
(書目-語言資料,印刷品)
Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers /
by:
Hanus, Michael.; SpringerLink (Online service); Abreu, Salvador.; Seipel, Dietmar.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
Igarashi, Atsushi.; SpringerLink (Online service); Hanus, Michael.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Igarashi, Atsushi.; Hanus, Michael.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Applications of declarative programming and knowledge management = 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Wurzburg, Germany, October 4-6, 2007 ; revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Seipel, Dietmar.; Wolf, Armin.; Hanus, Michael.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
Sacerdoti Coen, Claudio.; Hanus, Michael.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer System Implementation.
Artificial intelligence.
Numerical analysis.
Software engineering.
Programming Techniques.
Computer programming.
Computer programming
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Constraint programming (Computer science)
Machine theory.
Computers.
Data mining
Software Engineering.
Computer logic.
Declarative programming
Formal Languages and Automata Theory.
Computers, Special purpose.
Programming Language.
Architecture, Computer.
Computer Science.
Logic programming
Knowledge management
Special purpose computers.
Functional programming (Computer science)
Special Purpose and Application-Based Systems.
Computer systems.
Computer science.
Computer Hardware.
Computer hardware.
Programming languages (Electronic computers).
Numeric Computing.
Computer Science Logic and Foundations of Programming.