Restoring old revision of "Item:Q1616262"

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to a username, among other benefits.

@@ aliases / en / 0 / aliases / en / 0 @@
-Computer-aided mathematical proof
@@ aliases / en / 1 / aliases / en / 1 @@
-Computer-aided proof (mathematics)
@@ aliases / en / 2 / aliases / en / 2 @@
-Computer-assisted mathematical proof
@@ aliases / en / 3 / aliases / en / 3 @@
-Computer-assisted proof (mathematics)
@@ aliases / en / 4 / aliases / en / 4 @@
-Dowody matematyczne wspomagane komputerowo
@@ aliases / en / 5 / aliases / en / 5 @@
-Dowody wspomagane komputerowo (matematyka)
@@ aliases / en / 6 / aliases / en / 6 @@
-Dowodzenie matematyczne wspomagane komputerowo
@@ aliases / en / 7 / aliases / en / 7 @@
-Dowodzenie wspomagane komputerowo (matematyka)
@@ aliases / en / 8 / aliases / en / 8 @@
-Dowód wspomagany komputerowo (matematyka)
@@ aliases / en / 9 / aliases / en / 9 @@
-Komputerowe wspomaganie dowodów matematycznych
@@ aliases / en / 10 / aliases / en / 10 @@
-Komputerowo wspomagany dowód matematyczny
@@ aliases / en / 11 / aliases / en / 11 @@
-Mathematical proof, computer-aided
@@ aliases / en / 12 / aliases / en / 12 @@
-Proof, computer-aided (mathematics)
@@ aliases / en / 13 / aliases / en / 13 @@
-Proofs, computer-aided (mathematics)
@@ aliases / en / 14 / aliases / en / 14 @@
-Wspomagane komputerowo dowody matematyczne
@@ aliases / en / 15 / aliases / en / 15 @@
-Wspomaganie komputerowe dowodów matematycznych
@@ aliases / en / 16 / aliases / en / 16 @@
-Wspomagany komputerowo dowód matematyczny
@@ aliases / pl / 0 / aliases / pl / 0 @@
-Computer-aided mathematical proof
@@ aliases / pl / 1 / aliases / pl / 1 @@
-Computer-aided proof (mathematics)
@@ aliases / pl / 2 / aliases / pl / 2 @@
-Computer-assisted mathematical proof
@@ aliases / pl / 3 / aliases / pl / 3 @@
-Computer-assisted proof (mathematics)
@@ aliases / pl / 4 / aliases / pl / 4 @@
-Dowody matematyczne wspomagane komputerowo
@@ aliases / pl / 5 / aliases / pl / 5 @@
-Dowody wspomagane komputerowo (matematyka)
@@ aliases / pl / 6 / aliases / pl / 6 @@
-Dowodzenie matematyczne wspomagane komputerowo
@@ aliases / pl / 7 / aliases / pl / 7 @@
-Dowodzenie wspomagane komputerowo (matematyka)
@@ aliases / pl / 8 / aliases / pl / 8 @@
-Dowód wspomagany komputerowo (matematyka)
@@ aliases / pl / 9 / aliases / pl / 9 @@
-Komputerowe wspomaganie dowodów matematycznych
@@ aliases / pl / 10 / aliases / pl / 10 @@
-Komputerowo wspomagany dowód matematyczny
@@ aliases / pl / 11 / aliases / pl / 11 @@
-Mathematical proof, computer-aided
@@ aliases / pl / 12 / aliases / pl / 12 @@
-Proof, computer-aided (mathematics)
@@ aliases / pl / 13 / aliases / pl / 13 @@
-Proofs, computer-aided (mathematics)
@@ aliases / pl / 14 / aliases / pl / 14 @@
-Wspomagane komputerowo dowody matematyczne
@@ aliases / pl / 15 / aliases / pl / 15 @@
-Wspomaganie komputerowe dowodów matematycznych
@@ aliases / pl / 16 / aliases / pl / 16 @@
-Wspomagany komputerowo dowód matematyczny
@@ Property / National Library Identifier @@
-a1000001172643
@@ Property / National Library Identifier: a1000001172643 / rank @@
-Normal rank
@@ Property / Related form and genre @@
-Programy komputerowe
@@ Property / Related form and genre: Programy komputerowe / rank @@
-Normal rank
@@ Property / Related Subject @@
-Dowód matematyczny
@@ Property / Related Subject: Dowód matematyczny / rank @@
-Normal rank
@@ Property / Related Subject @@
-Informatyzacja
@@ Property / Related Subject: Informatyzacja / rank @@
-Normal rank
@@ Property / Type @@
-Unknown
@@ Property / Type: Unknown / rank @@
-Normal rank
@@ Property / Version @@
-P80885T81400
@@ Property / Version: P80885T81400 / rank @@
-Normal rank