Journal of automated reasoning. :: SCD d'Orléans

Journal of automated reasoning.

Journal of automated reasoning.

Enregistré dans:

Bibliografiske detaljer
Format:	Revue numérique
Sprog:	Anglais
Udgivet:	Dordrecht : Kluwer 2002-. Dordrecht : Springer 2002-[200.]. [Dordrecht] : [200.]-.
Fag:	Mathématiques Intelligence artificielle Périodiques
Online adgang:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme ISTEX (corpus Springer) Accès Université d'Orléans Accès INSA CVL
Kommentar:	Titre provenant de l'écran-titre Archives Springer périodiques (Licence nationale) Archives Springer périodiques (Licence nationale) Type of computer file: Articles en texte intégral au format html ou pdf
Autres localisations:	Voir dans le Sudoc
État de collection:	Revue électronique, (1985) - (2013)180339901, (1985) - (2013)
Edition sous un autre format:	• Journal of automated reasoning, 0168-7433

Lignende værker

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18 22, 2001 : proceedings

Automated reasoning : Second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
af: Basin, David

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

Logic programming and automated reasoning : [3rd] International Conference LPAR '92, St. Petersburg, Russia, July 15 20, 1992 : proceedings
af: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13 20, 1993 : proceedings
af: Voronkov, Andrei, 1959-

Logic programming and automated reasoning : 5th International Conference, LPAR '94 Kiev, Ukraine, July 16 22, 1994 : proceedings
af: Pfenning, Frank

Logic programming and automated reasoning : 6th International Conference, LPAR 99 Tbilisi, Georgia, September 6 10, 1999 : proceedings

International journal of approximate reasoning.
Udgivet: (1998)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 98 Oisterwijk, The Netherlands, May 5 8, 1998 : proceedings

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June 7-11, 1999 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2003, Rome, Italy, September 2003 : proceedings

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

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 August 1, 2002 : proceedings

Automated reasoning with analytic tableaux and related methods : [6th] International Conference, TABLEAUX'97, Pont-à-Mousson, France, May 13-16, 1997 : proceedings
af: Galmiche, Didier, 1958-

Journal of heuristics.
Udgivet: (2002)

Foundations of knowledge representation and reasoning
af: Lakemeyer, Gerhard, 1957-

Theory reasoning in connection calculi
af: Baumgartner, Peter, 1953-

Automated Reasoning
Udgivet: (2022)

Reasoning with logic programming
af: Alferes, José Júlio, 1966-, et autres

Nonmonotonic reasoning
af: Antoniou, Grigoris, 1961-
Udgivet: (1997)

Automated deduction : CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
af: Bundy, Alan R., 1947-

Automated deduction : CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 17, 1997 : proceedings
af: McCune, William Walker, 1953-

Automated deduction : CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
af: Kapur, Deepak

Automated deduction : Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
af: McRobbie, Michael A., 1950-

A perspective of constraint-based reasoning : an introductory tutorial
af: Güsgen, Hans Werner, 1959-, et autres

Automated Reasoning
Udgivet: (2024)

Automated Reasoning
Udgivet: (2024)

Journal of Automated Reasoning.

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7 10, 1999 : proceedings

Automated deduction - CADE-15 : 15th International Conference on Automated Deduction Lindau, Germany, July 5 10, 1998 : proceedings

Tractable reasoning in artificial intelligence
af: Cadoli, Marco

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

Reasoning and revision in hybrid representation systems
af: Nebel, Bernhard, 1956-

Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 13 15, 1988 : proceedings
af: Reinfrank, Michael, 1958-

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27 30, 2002 : proceedings

Automated deduction in classical and non-classical logics : selected papers

Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3 7, 1996 : proceedings
af: Gabbay, Dov M., 1945-

Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
af: Wang, Dongming, 1961-...., mathématicien

Conditionals in nonmonotonic reasoning and belief revision : considering conditionals as agents
af: Kern-Isberner, Gabriele, 1956-

© 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