Deskribapena: Automated reasoning with analytic tableaux and related methods :

Gorde:

Xehetasun bibliografikoak
Erakunde egilea:	Workshop on Theorem Proving with Analytic Tableaux and Related Methods :Oisterwijk, Pays-Bas
Beste egile batzuk:	Swart, Henricus Cornelius Maria de, 1944- (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science. Lecture notes in artificial intelligence 1397
Gaiak:	Informatique Intelligence artificielle Logique symbolique et mathématique Théorèmes > Démonstration automatique Actes de congrès
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	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'98, Oisterwijk, The Netherlands, May 5-8, 1998, proceedings, Harrie de Swart, ed, 1998, New York, Springer, 1 vol. (X-324 p.), Lecture notes in computer science, 3-540-64406-7 • Automated Reasoning with Analytic Tableaux and Related Methods, Texte imprimé, 9783662198629

Deskribapena
Alearen deskribapena:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540697787 (PDF)
ISSN:	1611-3349 2945-9141
Sartu:	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