Description: Automated reasoning with analytic tableaux and related methods :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods :Copenhague, Danemark
Autres auteurs:	Egly, Uwe (Directeur de la publication), Fermüller, Christian G. (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science. Lecture notes in artificial intelligence 2381
Sujets:	Génie logiciel Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002, Proceedings, Uwe Egly, Christian G. Fernmüller (eds.), Berlin, Springer, 2002, 1 vol. (X-339 p.), Lecture notes in computer science, 3-540-43929-3 • Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783662181591

Description
Description:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540456162 (PDF)
ISSN:	1611-3349 2945-9141
Accès:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017