Wyniki wyszukiwania: 2.

Sortuj
Nie podświetlaj Podświetlaj
Zaznacz wszystko Wyczyść wszystko
Wyniki
Computer Supported Formal Work : Towards a Digital Mathematical Assistant / Jörg Siekmann and Serge Autexier. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 231-248 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 231-248 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 231-248
Status: Brak dostępnych egzemplarzy.
Automated Discovery of Inductive Theorems / Roy McCasland, Alan Bundy, and Serge Autexier. autor
Rodzaj materiału: Artykuł Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki
From insight to proof 10 (23) (2007), s. 135-149 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 135-149 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 135-149
Status: Brak dostępnych egzemplarzy.