Metodo sintatico de prova de teoremas: algoritmo de wang (1990)
Unidade: ICMCAssunto: CIÊNCIA DA COMPUTAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MONARD, Maria Carolina e NICOLETTI, M C. Metodo sintatico de prova de teoremas: algoritmo de wang. . Sao Carlos: Icmsc-Usp. . Acesso em: 17 ago. 2024. , 1990APA
Monard, M. C., & Nicoletti, M. C. (1990). Metodo sintatico de prova de teoremas: algoritmo de wang. Sao Carlos: Icmsc-Usp.NLM
Monard MC, Nicoletti MC. Metodo sintatico de prova de teoremas: algoritmo de wang. 1990 ;[citado 2024 ago. 17 ]Vancouver
Monard MC, Nicoletti MC. Metodo sintatico de prova de teoremas: algoritmo de wang. 1990 ;[citado 2024 ago. 17 ]