Inductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings /

Inductive Logic Programming 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Camacho, Rui (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), King, Ross (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Srinivasan, Ashwin (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
Έκδοση:	1st ed. 2004.
Σειρά:	Lecture Notes in Artificial Intelligence ; 3194
Θέματα:	Software engineering. Artificial intelligence. Computer programming. Mathematical logic. Software Engineering/Programming and Operating Systems. Artificial Intelligence. Programming Techniques. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Foundations of Inductive Logic Programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
Έκδοση: (2003)

Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
Έκδοση: (2004)

Inductive Logic Programming 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings /
Έκδοση: (2001)

Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers /
Έκδοση: (2003)

Logic Programming and Nonmonotonic Reasoning 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings /
Έκδοση: (2001)

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
Έκδοση: (2001)

Logic-Based Program Synthesis and Transformation 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers /
Έκδοση: (2000)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Έκδοση: (1998)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Έκδοση: (2001)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Έκδοση: (2002)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
Έκδοση: (1997)

Logic for Programming, Artificial Intelligence, and Reasoning 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
Έκδοση: (2018)

Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /
Έκδοση: (1999)

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
Έκδοση: (2002)

Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
Έκδοση: (2000)

Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /
Έκδοση: (2001)

Inductive Synthesis of Functional Programs Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning /
ανά: Schmid, Ute, κ.ά.
Έκδοση: (2003)

Part-Whole Reasoning in an Object-Centered Framework
ανά: Lambrix, Patrick, κ.ά.
Έκδοση: (2000)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings /
Έκδοση: (2002)

Logics in Artificial Intelligence 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings /
Έκδοση: (2004)

Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II /
Έκδοση: (2002)

Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
Έκδοση: (2000)

Automated Deduction - CADE-16 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings /
Έκδοση: (1999)

Logic for Programming, Artificial Intelligence, and Reasoning 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /
Έκδοση: (2001)

Logic Programming and Nonmonotonic Reasoning Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /
Έκδοση: (1997)

Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part I /
Έκδοση: (2002)

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
Έκδοση: (2018)

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
Έκδοση: (2019)

Inductive Logic Programming 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings /
Έκδοση: (2000)

Inductive Logic Programming 9th International Workshop, ILP-99, Bled, Slovenia, June 24-27, 1999, Proceedings /
Έκδοση: (1999)

Inductive Logic Programming 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings /
Έκδοση: (1998)

Non-Standard Inferences in Description Logics From Foundations and Definitions to Algorithms and Analysis /
ανά: Küsters, Ralf, κ.ά.
Έκδοση: (2001)

ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings /
Έκδοση: (2000)

ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /
Έκδοση: (1998)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Έκδοση: (1998)

Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings /
Έκδοση: (2004)

Logics in Artificial Intelligence European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings /
Έκδοση: (2002)

Logic Program Synthesis and Transformation 7th International Workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 Proceedings /
Έκδοση: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών