Cargando…
A Woman’s International Provers’ Association
Autor principal: | Penfield, Sophia |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
1894
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9725959/ https://www.ncbi.nlm.nih.gov/pubmed/37136857 |
Ejemplares similares
-
Kali Cyanate: Provers Needed
por: Tyrrell, J. D.
Publicado: (1888) -
The Move Prover
por: Zhong, Jingyi Emma, et al.
Publicado: (2020) -
Dynamics of the Bell Prover, II
por: Ruegg, Fillmer W., et al.
Publicado: (1990) -
An LMA-based theorem prover
por: Lusk, E L, et al.
Publicado: (1982) -
The Higher-Order Prover Leo-II
por: Benzmüller, Christoph, et al.
Publicado: (2015)