Ergebnisse filtern
Programmier- und Skriptsprachen
-
Basili / Lembo / Limongelli AIxIA 2023 - Advances in Artificial Intelligence
XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-47545-0Medium: Buch74,89 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Janhunen / Niemelä Logics in Artificial Intelligence
12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15674-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hölldobler / Lutz / Wansing Logics in Artificial Intelligence
11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-87802-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ojeda-Aciego / Guzman / Brewka Logics in Artificial Intelligence
European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings1. Auflage 2000Verlag: SpringerISBN: 978-3-540-41131-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Clarke / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers1. Auflage 2011Verlag: SpringerISBN: 978-3-642-17510-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fages / Rossi / Soliman Recent Advances in Constraints
12th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-89811-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Governatori / Sartor Deontic Logic in Computer Science
10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14182-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Archibald / Brattka / Goranko Infinity in Logic and Computation
International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03091-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ranta / Nordström Advances in Natural Language Processing
6th International Conference, GoTAL 2008, Gothenburg, Sweden, August 25-27, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85286-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McBurney / Rahwan / Parsons Argumentation in Multi-Agent Systems
6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12804-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Althoff / Bergmann / Minor Advances in Case-Based Reasoning
9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85501-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Smyth / Cunningham Advances in Case-Based Reasoning
4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, ProceedingsErscheinungsjahr 1998Verlag: SpringerISBN: 978-3-540-64990-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sadri / Satoh Computational Logic in Multi-Agent Systems
8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88832-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
McCune / Padmanabhan Automated Deduction in Equational Logic and Cubic Curves
Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-61398-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Muggleton / Tamaddoni-Nezhad Inductive Logic Programming
31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings2024Verlag: SpringerISBN: 978-3-031-55629-6Medium: Buch58,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Herzig / Luo / Pardo Logic and Argumentation
5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings1. Auflage 2023Verlag: SpringerISBN: 978-3-031-40874-8Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bacardit / Bernadó-Mansilla / Butz Learning Classifier Systems
10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-88137-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tepfenhart / Cyre Conceptual Structures: Standards and Practices
7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings1. Auflage 1999Verlag: SpringerISBN: 978-3-540-66223-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Raedt Inductive Logic Programming
19th International Conference, ILP 2009, Leuven, Belgium, July 2-4, 2010, Revised Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13839-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plümer Termination Proofs for Logic Programs
Erscheinungsjahr 1990Verlag: SpringerISBN: 978-3-540-52837-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bonanno / Löwe / van der Hoek Logic and the Foundations of Game and Decision Theory - LOFT 8
8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-15163-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Seipel / Hanus / Geske 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 Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-25560-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bosch / Gabelaia / Lang Logic, Language, and Computation
7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00664-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies VI
6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-93919-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Endriss Declarative Agent Languages and Technologies IV
4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-68959-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Son / van Riemsdijk Declarative Agent Languages and Technologies V
5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited PapersErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-77563-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Armando / Baumgartner / Dowek Automated Reasoning
4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-71069-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Adriaans / Fernau / Zaanen Grammatical Inference: Algorithms and Applications
6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. ProceedingsErscheinungsjahr 2002Verlag: SpringerISBN: 978-3-540-44239-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
An / Bazzan / Leite PRIMA 2017: Principles and Practice of Multi-Agent Systems
20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-69130-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Puppis Automata for Branching and Layered Temporal Structures
An Investigation into Regularities of Infinite Transition Systems1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11880-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sempere / García Grammatical Inference: Theoretical Results and Applications
10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-15487-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schmidt Automated Deduction - CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02958-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hindriks / Pokahr / Sardina Programming Multi-Agent Systems
6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03277-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dyckhoff / Herre / Schroeder-Heister Extensions of Logic Programming
5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.Erscheinungsjahr 1996Verlag: SpringerISBN: 978-3-540-60983-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ferré / Rudolph Formal Concept Analysis
7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01814-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Baldoni / Bentahar / van Riemsdijk Declarative Agent Languages and Technologies VII
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-11354-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fuchs Controlled Natural Language
Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14417-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brewka / Jantke / Schmitt Nonmonotonic and Inductive Logic
Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56433-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lamma / Mello Extensions of Logic Programming
Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. ProceedingsErscheinungsjahr 1993Verlag: SpringerISBN: 978-3-540-56454-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nehaniv Computation for Metaphors, Analogy, and Agents
1. Auflage 1999Verlag: SpringerISBN: 978-3-540-65959-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bouquet / Serafini / Brézillon Modeling and Using Context
Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, ProceedingsErscheinungsjahr 1999Verlag: SpringerISBN: 978-3-540-66432-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bruza / Sofge / Lawless Quantum Interaction
Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009, Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-00833-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dawar / de Queiroz Logic, Language, Information and Computation
17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-13823-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Siegler / Wasser Verification, Induction, Termination Analysis
Festschrift for Christoph Walther on the Occasion of His 60th Birthday1. Auflage 2010Verlag: SpringerISBN: 978-3-642-17171-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort