À proposConditionsConfidentialitéContact
 
Actualisation
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Date de sortie : 2023-09-13
© Springer Nature Switzerland
Automated Reasoning with Analytic Tableaux and Related Methods - QR Code
50 MB
Disponible sur Apple Books
50 MB
Disponible sur Apple Books
Date de sortie : 2023-09-13
© Springer Nature Switzerland

Description

This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18–21, 2023.

Apple Books : Notes

Notes et avis

0,0 sur 5 (Pas de note)

Apple Books : Avis des utilisateurs

Pas d'entrée