Cita APA

Aguirre García, L. M. (2024). Conditional narrowing modulo membership equational logic theories with SMT solvers.

Citación estilo Chicago

Aguirre García, Luis Manuel. Conditional Narrowing Modulo Membership Equational Logic Theories With SMT Solvers. 2024.

Cita MLA

Aguirre García, Luis Manuel. Conditional Narrowing Modulo Membership Equational Logic Theories With SMT Solvers. 2024.

Precaución: Estas citas no son 100% exactas.