Abstraction, reformulation, and approximation : :: SCD d'Orléans

Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings

Abstraction, reformulation, and approximation : 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000 : proceedings

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformulations, and Approximation (SARA). The conference was held at Horseshoe Bay Resort and Conference Club, Lake LBJ, Texas, July 26 29, 2000, just prior to the AAAI 2000 conference in Austin. Previous SARA co...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	International symposium on abstraction, reformulation and approximation :Horseshoe Bay, Texas, Etats-Unis
Beste egile batzuk:	Choueiry, Berthe Y. (Argitalpenaren zuzendaria), Walsh, Toby, 1964- (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science. Lecture notes in artificial intelligence 1864
Gaiak:	Informatique Intelligence artificielle Logique symbolique et mathématique Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Abstraction, reformulation, and approximation, 4th international symposium, SARA 2000, Horseshoe Bay, USA, July 26-29, 2000, proceedings, Berthe Y. Choueiry, Toby Walsh (eds.), Berlin, Springer, 2000, 1 vol. (XI-331 p.), Lecture notes in computer science, 3-540-67839-5 • Abstraction, Reformulation, and Approximation, Texte imprimé, 9783662201282

Antzeko izenburuak

Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada August 2 4, 2002 : proceedings

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

Computational logic - CL 2000 : First International Conference, London, UK, July 24 28, 2000 : proceedings

Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 2001 : 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 : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : 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 : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

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

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

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

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

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

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

Methodologies for intelligent systems : 8th International Symposium, ISMIS '94, Charlotte, North Carolina, USA, October 16 19, 1994 : proceedings
nork: Ras, Zbigniew W., 1947-

Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N. C., USA, October 16 19, 1991 : proceedings
nork: Ras, Zbigniew W., 1947-

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

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

Database theory - ICDT '92 : 4th International Conference, Berlin, Germany, October 14 16, 1992 : proceedings

Extensions of Logic Programming : 4th International Workshop, ELP '93 St Andrews, U.K., March 29 April 1, 1993 Proceedings

Logic program synthesis and transformation : 7th international workshop, LOPSTR '97, Leuven, Belgium, July 10-12, 1997 : proceedings

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

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

Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12 14, 1998 : proceedings

Advances in learning classifier systems : 4th international workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001 : revised papers

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Logic programming and nonmonotonic reasoning : 5th international conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings

CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8 10, 2002 : proceedings

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

Logic for programming and automated reasoning : 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings
nork: Parigot, Michel, 1956-...., mathématicien

Logic programming and nonmonotonic reasoning : third international conference, LPNMR '95, Lexington, KY, USA, June 26 28, 1995 : proceedings
nork: Marek, Victor W., 1943-

Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

AI*IA 2003 : advances in artificial intelligence : 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003 : proceedings

Algorithmic learning theory : 11th International Conference, ALT 2000, Sydney, Australia, December 11 13, 2000 : proceedings

© 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