Probador de teoremas lógicos (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Probador de teoremas lógicos" in Spanish language version.

refsWebsite

Global rank Spanish rank

low place

low place

1books.google.com

3^rd place

7^th place

books.google.com

Teigens, Vasil; Skalfist, Peter; Mikelsten, Daniel. Inteligencia artificial: la cuarta revolución industrial. Cambridge Stanford Books. Consultado el 3 de noviembre de 2022.

mundowin.com

2c0bi (20 de octubre de 2019). «2 del mejor software de razonamiento automatizado para una lógica simplificada». Mundowin. Consultado el 2 de noviembre de 2022.