Ventura, P. G. (2023). Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden. Web
Citación estilo ChicagoVentura, Pablo Gabriel. Algoritmos Para Decidir Definibilidad De Fragmentos De Lógica En Primer Orden. 2023.
Cita MLAVentura, Pablo Gabriel. Algoritmos Para Decidir Definibilidad De Fragmentos De Lógica En Primer Orden. 2023.
Precaución: Estas citas no son 100% exactas.