Artificial intelligence and symbolic computation : :: SCD d'Orléans

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	International Conference on Artificial Intelligence and Symbolic Computation :Linz, AT
Άλλοι συγγραφείς:	Buchberger, Bruno, 1942-...., mathématicien (Διευθυντής έκδοσης), Campbell, John Arthur, 1940-...., mathématicien (Διευθυντής έκδοσης)
Μορφή:	Livre numérique
Γλώσσα:	Anglais
Έκδοση:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Σειρά:	Lecture notes in computer science. Lecture notes in artificial intelligence 3249
Θέματα:	Informatique Intelligence artificielle Analyse numérique Logique symbolique et mathématique Actes de congrès
Διαθέσιμο Online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Σημείωση:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Artificial intelligence and symbolic computation, 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004, proceedings, Bruno Buchberger, John A. Campbell (eds.), Berlin, Springer, 2004, 1 vol. (X-284 p.), Lecture notes in computer science, 3-540-23212-5 • Artificial Intelligence and Symbolic Computation, Texte imprimé, 9783662199640

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

Artificial intelligence and symbolic computation : International Conference AISC 98, Plattsburg, New York, USA, September 16 18, 1998 : proceedings

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 5, 2002 : proceedings

Artificial intellegience and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : rrevised papers

Artificial intelligence and symbolic mathematical computing : [first] International Conference, AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings

Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
ανά: Alferes, José Júlio, 1966-

Advances in artificial intelligence : SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29-October 1, 2004 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Logics in artificial intelligence : [4th] European Workshop JELIA '94, York, UK, September 5 8, 1994 : proceedings
ανά: MacNish, Craig, 19..-

Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings
ανά: Klement, Erich Peter

Current topics in artificial intelligence : 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12-14, 2003 : revised selected papers

Logics in artificial intelligence : 8th European Conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : Proceedings

Fundamentals of artificial intelligence : an advanced course
ανά: Bibel, Wolfgang, 1938-

Logics in artificial intelligence : [6th] European Workshop, JELIA '96, Évora, Portugal September 30-October 3, 1996 : proceedings
ανά: Alferes, José Júlio, 1966-

Artificial intelligence and soft computing - ICAISC 2004 : 7th international conference, Zakopane, Poland, June 7-11, 2004 : proceedings

Advances in artificial intelligence : 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002 : proceedings

Fundamentals of artificial intelligence research : International Workshop FAIR '91, Smolenice, Czechoslovakia, September 8-13, 1991 : proceedings
ανά: Jorrand, Philippe, 19..-...., informaticien

Computer science logic : 16th international workshop, CSL 2002 : 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 17th international workshop CSL 2003 : 12th annual conference of the EACSL : 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Logics in artificial intelligence : European Workshop, JELIA 98, Dagstuhl, Germany, October 12 15, 1998 : proceedings

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Fuzzy logic in artificial intelligence : IJCAI 97 workshop, Nagoya, Japan, August 23-24, 1997 : selected and invited papers
ανά: Ralescu, Anca

Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings
ανά: Bläsius, Karl Hans, 1952-

Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings
ανά: Zhang, Chengqi, 1957-

Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings

Tractable reasoning in artificial intelligence
ανά: Cadoli, Marco

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Symbolic-Numeric Computation

Fuzzy logic in artificial intelligence : towards intelligent systems : IJCAI '95 workshop, Montréal, Canada, August 19-21, 1995 : selected papers
ανά: Martin, Trevor P., 1957-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales