4 résultat(s) recherche sur le mot-clé 'automated reasoning'

Automated reasoning with analytic tableaux and related methods / TABLEAUX

Public ISBD Titre : Automated reasoning with analytic tableaux and related methods Titre original : International conference, TABLEAUX '97 Type de document : texte imprimé Auteurs : TABLEAUX ; Galmiche, Didier Ed. Editeur : Springer-Verlag Année de publication : 1997 Collection : Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence num. 1227 Importance : xi - 373 p. ISBN/ISSN/EAN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN Automated reasoning with analytic tableaux and related methods = International conference, TABLEAUX '97 [texte imprimé] / TABLEAUX ; Galmiche, Didier Ed. . - [S.l.] : Springer-Verlag, 1997 . - xi - 373 p.. - (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence; 1227) . ISBN : 978-3-540-62920-7 Langues : Anglais Mots-clés : related methods  analytical tableaux  automated reasoning  tableaux '97  conference  proceedings  pont-a-mousson (france) Index. décimale : IRIN

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
12964	IRIN/03C63	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Handbook of practical logic and automated reasoning / John Harrison

Public ISBD Titre : Handbook of practical logic and automated reasoning Type de document : texte imprimé Auteurs : John Harrison, Auteur Editeur : Cambridge University Press Année de publication : 2009 Importance : xix - 681 p. ISBN/ISSN/EAN : 978-0-521-89957-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : mathematical logic  automated reasoning  automated theorem proving Index. décimale : 03C Monographie Handbook of practical logic and automated reasoning [texte imprimé] / John Harrison, Auteur . - [S.l.] : Cambridge University Press, 2009 . - xix - 681 p. ISBN : 978-0-521-89957-4 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 03-XX Mathematical logic and foundations:03BXX General logic:03B35 Mechanization of proofs and logical operations 68-XX Computer science :68-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 68-XX Computer science :68TXX Artificial intelligence:68T15 Theorem proving (deduction, resolution, etc.) Mots-clés : mathematical logic  automated reasoning  automated theorem proving Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19580	03C178	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Artificial intelligence / Stuart Jonathan Russell

Public ISBD Titre : Artificial intelligence : a modern approach Type de document : texte imprimé Auteurs : Stuart Jonathan Russell, Auteur ; Peter Norvig (1956-....), Auteur Mention d'édition : 3rd ed. Editeur : Upper Saddle River (N.J.) : Pearson Prentice Hall Année de publication : 2010 Importance : xviii - 1132 p. Format : 26 cm ISBN/ISSN/EAN : 978-0-13-207148-2 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section 68-XX Computer science :68TXX Artificial intelligence:68T01 General Mots-clés : machine learning  knowledge engineering  automated reasoning  knowledge bases Index. décimale : 68C Monographie Artificial intelligence : a modern approach [texte imprimé] / Stuart Jonathan Russell, Auteur ; Peter Norvig (1956-....), Auteur  . -  3rd ed. . - Upper Saddle River (N.J.) : Pearson Prentice Hall, 2010 . - xviii - 1132 p. ; 26 cm. ISBN : 978-0-13-207148-2 Langues : Anglais Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section 68-XX Computer science :68TXX Artificial intelligence:68T01 General Mots-clés : machine learning  knowledge engineering  automated reasoning  knowledge bases Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21113	68C400	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Paradigms of artificial intelligence programming / Peter Norvig

Public ISBD Titre : Paradigms of artificial intelligence programming : case studies in common LISP Type de document : texte imprimé Auteurs : Peter Norvig (1956-....), Auteur Editeur : San Mateo, Calif. : Morgan Kaufman Publishers Année de publication : 1991 Importance : xxviii, 946 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-55860-191-8 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section 68-XX Computer science :68TXX Artificial intelligence:68T01 General Mots-clés : machine learning  knowledge engineering  automated reasoning  knowledge bases  electronic digital computers  artificial intelligence Index. décimale : 68C Monographie Paradigms of artificial intelligence programming : case studies in common LISP [texte imprimé] / Peter Norvig (1956-....), Auteur . - San Mateo, Calif. : Morgan Kaufman Publishers, 1991 . - xxviii, 946 p. : ill. ; 24 cm. ISBN : 978-1-55860-191-8 Langues : Anglais Catégories : 68-XX Computer science :68-02 Research exposition (monographs, survey articles) 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section 68-XX Computer science :68TXX Artificial intelligence:68T01 General Mots-clés : machine learning  knowledge engineering  automated reasoning  knowledge bases  electronic digital computers  artificial intelligence Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18577	68C359	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible