Libri sul tema "Declarative programming"

Palamidessi, Catuscia, Hugh Glaser e Karl Meinke, a cura di. Principles of Declarative Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0056603.

Darlington, John, e Roland Dietrich, a cura di. Declarative Programming, Sasbachwalden 1991. London: Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3794-8.

Seipel, Dietmar, Michael Hanus e Salvador Abreu, a cura di. Declarative Programming and Knowledge Management. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00801-7.

Hanus, Michael, e Ricardo Rocha, a cura di. Declarative Programming and Knowledge Management. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-08909-6.

Umeda, Masanobu, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel e Osamu Takata, a cura di. Declarative Programming for Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11963578.

Hofstedt, Petra, Salvador Abreu, Ulrich John, Herbert Kuchen e Dietmar Seipel, a cura di. Declarative Programming and Knowledge Management. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-46714-2.

Nadathur, Gopalan, a cura di. Principles and Practice of Declarative Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/10704567.

Artemʹeva, I. L. Rasshirennai͡a modelʹ deklarativnykh produkt͡siĭ. Vladivostok: IAPU DVO AN SSSR, 1991.

Seipel, Dietmar, Michael Hanus e Armin Wolf, a cura di. Applications of Declarative Programming and Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00675-3.

Abreu, Salvador, e Dietmar Seipel, a cura di. Applications of Declarative Programming and Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20589-7.

Tompits, Hans, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda e Armin Wolf, a cura di. Applications of Declarative Programming and Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41524-1.

Seipel, Dietmar, Michael Hanus, Ulrich Geske e Oskar Bartenstein, a cura di. Applications of Declarative Programming and Knowledge Management. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b135595.

ACM, SIGPLAN Symposium on Principles and Practice of Declarative Programming (9th 2007 Wroclaw Poland). PPDP '07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007. New York, NY: Association for Computing Machinery, 2007.

ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (7th 2005 Lisbon, Portugal). PPDP '05: Proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, July 11-13, 2005, Lisbon, Portugal. New York, NY: ACM Press, 2005.

PPDP'04 (6th 2004 Verona, Italy). PPDP'04: Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, August 24-26, 2004, Verona, Italy. New York, NY: ACM Press, 2004.

International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (5th 2003 Uppsala, Sweden). PPDP '03: Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : August 27-29, 2003, Uppsala, Sweden. New York: ACM Press, 2003.

Italy), PLILP'98 (1998 Pisa. Principles of declarative programming: 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings. Berlin: Springer, 1998.

Machinery, Association for Computing, ACM Special Interest Group on Programming Languages., Symposium on Logic in Computer Science (22nd : 2007 : Wroclaw, Poland) e International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wroclaw, Poland), a cura di. PPDP '07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : Wroclaw, Poland, July 14-16, 2007. New York, NY: Association for Computing Machinery, 2007.

Machinery, Association for Computing, e ACM Special Interest Group on Programming Languages, a cura di. PPDP '09: Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming : September 7-9, 2009 Coimbra, Portugal. New York, NY: Association for Computing Machinery, 2009.

Machinery, Association for Computing, e ACM Special Interest Group on Programming Languages, a cura di. PPDP'08: Proceedings of the 10th International ACM SIGPLAN Symposium on principles and practice of declarative programming, Valencia, Spain, July 15-17, 2008. New York, NY: Association for Computing Machinery, 2008.

J, Darlington, Dietrich Roland 1958- e British Computer Society, a cura di. Declarative programming, Sasbachwalden 1991: Phoenix Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. London: Springer-Verlag, 1992.

ACM, SIGPLAN Workshop on Functional and Declarative Programming in Education (2005 Tallinn Estonia). FDPE '05: Proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia. New York, N.Y: Association for Computing Machinery, 2005.

Burnett, Margaret. Implementing level 4 liveness in declarative visual programming languages. Corvallis, OR: Oregon State University, Dept. of Computer Science, 1998.

Lopez-Garcia, Pedro, John P. Gallagher e Roberto Giacobazzi, a cura di. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-31476-6.

Djang, Rebecca. Similarity inheritance: A model of inheritance for declarative visual programming languages. [Corvallis, OR: Oregon State University, Dept. of Computer Science, 1999.

International Conference on Applications of Declarative Programming and Knowledge Management (16th 2005 Fukuoka, Japan). Declarative programming for knowledge management: 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005 : revised selected papers. Berlin: Springer, 2006.

1954-, Aït-Kaci Hassan, Hanus Michael, Moreno Navarro Juan José, Max-Planck-Institut für Informatik e International Conference on Logic Programming (1994 : Santa Margherita Ligure, Italy), a cura di. Integration of declarative paradigms: Proceedings of the ICLP'94 post-conference workshop, Santa Margherita Ligure, Italy. Saarbrücken, Germany: Max-Planck-Institut für Informatik, 1994.

International Workshop on Declarative Agent Languages and Technologies (8th 2010 Toronto, Ont.). Declarative Agent Languages and Technologies VIII: 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers. Berlin: Springer, 2011.

PADL 2002 (2002 Portland, Or.). Practical aspects of declarative languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings. Berlin: Springer, 2002.

PADL 2004 (6th 2004 Dallas, TX). Practical aspects of declarative languages: 6th international symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004 ; proceedings. Berlin: Springer, 2004.

PADL 2002 (2002 Portland, Or.). Practical aspects of declarative languages: 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings. Berlin: Springer, 2002.

Dietmar, Seipel, e Workshop on Logic Programming (18th : 2004 : Potsdam, Germany), a cura di. Applications of declarative programming and knowledge management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers. Berlin: Springer, 2005.

Padawitz, Peter. Deductive and Declarative Programming. Cambridge University Press, 2011.

Padawitz, Peter. Deductive and Declarative Programming. Cambridge University Press, 2009.

Deduction and declarative programming. Cambridge: Cambridge University Press, 1992.

Oskar, Bartenstein Masanobu Umeda Armin Wolf. Declarative Programming for Knowledge Management. Springer, 2008.

Downward, M. Logic and Declarative Language. Taylor & Francis Group, 2004.

Downward, M. Logic and Declarative Language. Taylor & Francis Group, 2004.

Downward, M. Logic and Declarative Language. Taylor & Francis Group, 2004.

Logic and declarative language. London: Taylor & Francis, 1998.

Logic and Declarative Language. Routledge, 2004.

(Editor), J. Darlington, e R. Dietrich (Editor), a cura di. Declarative Programming: Sasbachwalden 1991 (Workshops in Computing). Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992.

Kifer, Michael, e Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. Morgan & Claypool Publishers, 2018.

Kifer, Michael, e Yanhong Annie Liu, a cura di. Declarative Logic Programming: Theory, Systems, and Applications. ACM, 2018. http://dx.doi.org/10.1145/3191315.

Declarative Logic-Programming Components for Information Agents. Diplomarbeiten Agentur diplom.de. ein Imprint der Diplomica, 2002.

Kifer, Michael, e Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. Morgan & Claypool Publishers, 2018.

Ulrich Geske,Dietmar Seipel,Michael Hanus. Applications of Declarative Programming and Knowledge Management. Springer, 2008.

Kifer, Michael, e Yanhong Annie Liu. Declarative Logic Programming: Theory, Systems, and Applications. Morgan & Claypool Publishers, 2018.

Damp'09: Declarative Aspects of Multicore Programming. Association for Computing Machinery, 2009.

Hanus, Michael, Salvador Abreu e Dietmar Seipel. Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, ... Springer, 2018.