Posseduto: Automated reasoning with analytic tableaux and related methods :

Salvato in:

Dettagli Bibliografici
Ente Autore:	International Conference on Automated Reasoning with Analytic Tableaux and Related Methods :Copenhague, Danemark
Altri autori:	Egly, Uwe (Direttore editoriale), Fermüller, Christian G. (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science. Lecture notes in artificial intelligence 2381
Soggetti:	Génie logiciel Informatique Ordinateurs Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	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