01476nam0 22003613i 450 VAN025518520230524090150.903N978354036262320230223d1970 |0itac50 baengFREDE|||| |||||Symposium on Automatic DemonstrationHeld at Versailles/France, Decembre 1968edited by M. Laudet, ... [et al.]BerlinSpringer1970310 p.24 cm001VAN01022502001 Lecture notes in mathematics210 Berlin [etc.]Springer12568-XXComputer science [MSC 2020]VANC019670MFData processingKW:KMathematicaKW:KProof TheoryKW:KProofsKW:KTheoremKW:KBerlinVANL000066LaudetMichelVANV208190340Springer <editore>VANV108073650ITSOL20240614RICAhttps://doi.org/10.1007/BFb0060620E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0255185BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 5507 08eMF5507 20230303 Symposium on Automatic Demonstration80496UNICAMPANIA