Hanus, Michael.
概要
| 作品: | 1 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Algebraic and logic programming = 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /
by:
Hanus, Michael.; Heering, Jan.; Meinke, Karl.; SpringerLink (Online service); International Conference on Algebraic and Logic Programming (1997 :); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1997 :)
(書目-語言資料,印刷品)
Functional and constraint logic programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020 : revised selected papers /
by:
WFLP (Workshop) (2020 :); Hanus, Michael.; Sacerdoti Coen, Claudio.; SpringerLink (Online service)
(書目-電子資源)
Declarative programming and knowledge management = Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013 : revised selected papers /
by:
Hanus, Michael.; Rocha, Ricardo.; SpringerLink (Online service)
(書目-電子資源)
Practical aspects of declarative languages = 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
by:
Hanus, Michael.; SpringerLink (Online service); PADL (Symposium) (2023 :); Inclezan, Daniela.
(書目-電子資源)
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:
Hanus, Michael.; Seipel, Dietmar.; Wolf, Armin.; SpringerLink (Online service); International Conference on Applications of Declarative Programming and Knowledge Management (2007 :)
(書目-語言資料,印刷品)
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); LOPSTR 2008 ((2008 :)
(書目-語言資料,印刷品)
Functional and logic programming = 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022 : proceedings /
by:
Hanus, Michael.; SpringerLink (Online service); Igarashi, Atsushi.; International Symposium on Functional and Logic Programming (2022 :)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Declarative programming
Knowledge management- Congresses.
Algebraic logic
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Constraint programming (Computer science)- Congresses.
Data mining
Programming Language.
Logic in AI.
Logic programming
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer programming
Algorithms.
Special Purpose and Application-Based Systems.
Declarative programming languages
Computer Science Logic and Foundations of Programming.
Functional programming (Computer science)
Formal Languages and Automata Theory.
Artificial Intelligence.
Computer Science.
Knowledge management
Math Applications in Computer Science.
Computer Hardware.
Computer System Implementation.
Knowledge Based Systems.
Constraint programming (Computer science)
Compilers and Interpreters.