Intelligence artificielle et informatique théorique :: SCD d'Orléans

Intelligence artificielle et informatique théorique

Intelligence artificielle et informatique théorique

שמור ב:

מידע ביבליוגרפי
Auteurs principaux:	Alliot, Jean-Marc, 1962-, Schiex, Thomas, 1965- (Auteur)
פורמט:	Livre papier
שפה:	Français
יצא לאור:	Toulouse : Cépaduès-éd. 1994
סדרה:	Collection Intelligence artificielle
נושאים:	Langages formels Logique symbolique et mathématique Systèmes experts (informatique) Programmation logique Réseaux neuronaux (informatique) Intelligence artificielle
Autres localisations:	Voir dans le Sudoc

פריטים דומים

Intelligence artificielle et informatique théorique
מאת: Alliot, Jean-Marc, 1962-, et autres
יצא לאור: (2002)

New trends in formal languages : control, cooperation, and combinatorics
מאת: Păun, Gheorghe, 1950-

Hybrid intelligent systems
מאת: Medsker, Larry R.
יצא לאור: (1995)

Le raisonnement en intelligence artificielle : modèles, techniques et architectures pour les systèmes à bases de connaissances
מאת: Haton, Jean-Paul, 1943-...., auteur en sciences physiques, et autres
יצא לאור: (1991)

Logique(s), langages formels et complexité pour l'informatique
מאת: Jussien, Narendra, 1973-
יצא לאור: (2006)

Grammatical inference : algorithms and applications : 6th International Colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23 25, 2002 : proceedings

Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
מאת: Carrasco, Rafael C., 1963-

Foundations of equational logic programming
מאת: Hölldobler, Steffen, 1957-

Fuzzy logic, neural networks, and evolutionary computation : IEEE/Nagoya-University World Wisepersons Workshop, Nagoya, Japan, November 14-15, 1995 : selected papers
מאת: Furuhashi, Takeshi, 1954-

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

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

Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings

Éloge du flou : aux frontières des mathématiques et de l'intelligence artificielle
מאת: Sangalli, Arturo, 1940-
יצא לאור: (2018)

Éloge du flou : aux frontières des mathématiques et de l'intelligence artificielle
מאת: Sangalli, Arturo, 1940-
יצא לאור: (2001)

Foundations of intelligent systems : 9th international symposium, ISMIS '96, Zakopane, Poland, June 9-13, 1996 : proceedings
מאת: Ras, Zbigniew W., 1947-

Vivid logic : knowledge-based reasoning with two kinds of negation
מאת: Wagner, Gerd, 1957-...., informaticien

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

Logic program synthesis and transformation - Meta-programming in logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 21, 1994 : proceedings

Logic, language, and computation : festschrift in honor of Satoru Takasu
מאת: Jones, Neil D., 1941-

Program development in computational logic : a decade of research advances in logic-based program development
מאת: Bruynooghe, Maurice

Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings

Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings

Grammatical inference : algorithms and applications : 7th international colloquium, ICGI 2004, Athens, Greece, october 11-13, 2004 : proceedings

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

Logic programming '88 : proceedings of the 7th conference Tokyo, Japan, April 11 14, 1988
מאת: Furukawa, Kōichi, 1938-

Logic programming '89 : proceedings of the 8th conference Tokyo, Japan, July 12 14, 1989
מאת: Furukawa, Kōichi, 1938-

Over-constrained systems : [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France]

Types for proofs and programs : International Workshop TYPES 96 Aussois, France, December 15 19, 1996 : selected papers

Algorithmic learning for knowledge-based systems : GOSLER final report
מאת: Jantke, Klaus Peter, 1951-

Logic programming : ; proceedings 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

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

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Analysis of dynamical and cognitive systems : advanced course, Stockholm, Sweden, August 9-14, 1993 : proceedings

Isabelle/HOL : a proof assistant for higher-order logic
מאת: Nipkow, Tobias, 1958-..., informaticien, et autres

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
מאת: Fisher, Michael

Learning language in logic
מאת: Cussens, James, 1965-

Artificial neural networks : ICANN '97 : 7th International Conference, Lausanne, Switzerland, October 8 10, 1997 : 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