Sorts and types in artificial intelligence : :: SCD d'Orléans

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings

The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas", i.e. natural language (understanding) sy...

保存先:

書誌詳細
第一著者:	Bläsius, Karl Hans, 1952-
団体著者:	Workshop Sorts and types in artificial intelligence (著者)
その他の著者:	Hedtstück, Ulrich, 1951- (出版デイレクター), Rollinger, Claus-Rainer, 1950- (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science. Lecture notes in artificial intelligence 418
主題:	Informatique Intelligence artificielle Types abstraits de données (informatique) Logique symbolique et mathématique Tri (informatique) Actes de congrès
オンライン･アクセス:	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:	• Sorts and types in artificial intelligence, workshop, Eringerfeld, FRG, April 24-26, 1989, proceedings, K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.), Berlin, Springer-Verlag, 1990, 1 vol. (VIII-307 p.), Lecture notes in computer science, 3-540-52337-5 • Sorts and Types in Artificial Intelligence, Texte imprimé, 9783662191293

類似資料

A methodology for uncertainty in knowledge-based systems
著者:: Weichselberger, Kurt, 等

Live data structures in logic programs : derivation by means of abstract interpretation
著者:: Mulkers, Anne, 19..-

Computational aspects of an order-sorted logic with term declarations
著者:: Schmidt-Schauß, Manfred

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

Recent trends in data type specification : 5th Workshop on specification of abstract data types, Gullane, Scotland, September 1-4, 1987 : selected papers

Recent trends in data type specification : 9th Workshop on Specification of Abstract Data Types, joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 30, 1992 : selected papers

Recent trends in data type specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 20, 1990 : proceedings

Recent trends in data type specification : 11th Workshop on Specification of Abstract Data Types, joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995 : selected papers

Recent trends in data type specification : 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30-June 3, 1994 : selected papers

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

A systematic catalogue of reusable abstract data types
著者:: Uhl, Jürgen, 等

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

Fundamentals of artificial intelligence : an advanced course
著者:: Bibel, Wolfgang, 1938-

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

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

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

Tractable reasoning in artificial intelligence
著者:: Cadoli, Marco

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

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

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

Advances in artificial intelligence : SBIA 2004 : 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29-October 1, 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

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

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

Paragon : a language using type hierarchies for the specification, implementation, and selection of abstract data types
著者:: Sherman, Mark Steven, 19..-

Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1996 : proceedings

L'intelligence et le calcul : de Gödel aux ordinateurs quantiques
著者:: Delahaye, Jean-Paul, 1952-
出版事項: (2002)

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

Spécification algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages)
著者:: Boukakiou, Mekki
出版事項: (1984)

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

Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings

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

Artificial intelligence in medicine : 6th Conference on Artificial Intelligence in Medicine, Europe, AIME'97 Grenoble, France, March 23-26, 1997 : proceedings
著者:: Keravnou, Elpida T.

Distributed artificial intelligence : architecture and modelling : First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995 : proceedings
著者:: Zhang, Chengqi, 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