Hanus, Michael.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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 :)
(Language materials, printed)
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.
(Language materials, printed)
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.
(Language materials, printed)
, [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)
(Language materials, printed)
Functional and Logic Programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings /
by:
Igarashi, Atsushi.; SpringerLink (Online service); Hanus, Michael.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
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)
(Language materials, printed)
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer System Implementation.
Artificial intelligence.
Numerical analysis.
Software engineering.
Computers, Special purpose.
Programming Language.
Architecture, Computer.
Computer Science.
Programming Techniques.
Computer programming.
Computer programming
Logic programming
Algorithms.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Knowledge management
Special purpose computers.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Functional programming (Computer science)
Special Purpose and Application-Based Systems.
Computer systems.
Constraint programming (Computer science)
Computer science.
Machine theory.
Computers.
Data mining
Computer hardware.
Computer Hardware.
Programming languages (Electronic computers).
Numeric Computing.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer logic.
Declarative programming
Formal Languages and Automata Theory.