Serbian Automatsko dokazivanje teorema Cited by user Dcirovic on 14 Mar 2024 Automatsko dokazivanje teorema (takođe poznato kao automatizovana dedukcija) je podoblast automatskog zaključivanja i matematičke logike koja se bavi dokazivanjem…
French Melvin Fitting Cited by user Vers75 on 17 Jan 2024 Melvin Fitting (né le 24 janvier 1942 à Troy, New York) est un logicien s'intéressant particulièrement à la logique philosophique et aux systèmes de preuve par la méthode…
Dutch Semantisch tableau Cited by user Marc Schroeder on 27 Dec 2023 Een semantisch tableau is een grafische weergave van een manier om in de logica op systematische wijze het gedrag van een logische stelling of formule te onderzoeken.
English Melvin Fitting Cited by user Marc Schroeder on 27 Dec 2023 Melvin Fitting (born January 24, 1942) is a logician with special interests in philosophical logic and tableau proof systems.