Dowód matematyczny wspomagany komputerowo (Q1616262): Difference between revisions

Latest revision as of 00:41, 26 December 2023

No description defined

Language	Label	Description	Also known as
English	Dowód matematyczny wspomagany komputerowo	No description defined	Computer-aided mathematical proof Computer-aided proof (mathematics) Computer-assisted mathematical proof Computer-assisted proof (mathematics) Dowody matematyczne wspomagane komputerowo Dowody wspomagane komputerowo (matematyka) Dowodzenie matematyczne wspomagane komputerowo Dowodzenie wspomagane komputerowo (matematyka) Dowód wspomagany komputerowo (matematyka) Komputerowe wspomaganie dowodów matematycznych Komputerowo wspomagany dowód matematyczny Mathematical proof, computer-aided Proof, computer-aided (mathematics) Proofs, computer-aided (mathematics) Wspomagane komputerowo dowody matematyczne Wspomaganie komputerowe dowodów matematycznych Wspomagany komputerowo dowód matematyczny

a1000001172643

0 references

0 references

0 references

0 references

0 references

P80885T81400

0 references

@@ Property / Version @@
-Iorveth
@@ Property / Version: Iorveth / rank @@
-Normal rank
@@ 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