Wyniki wyszukiwania: 21.

Wyniki
		Some Logical Aspects of Mathematical Reasoning / Xiquan Liang, Fuguo Ge and Li Yan. autor Xiquan, Liang Ge, Fuguo Yan, Li (matematyka) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 33-44 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 33-44 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 33-44 Status: Brak dostępnych egzemplarzy.
		Gradual Computerisation/Formalisation of Mathematical Texts into Mizar / Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, and J. B. Wells. autor Kamareddine, Fairouz D Retel, Krzysztof Wells, Joseph Brian Maarek, Manuel Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 95-120 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 95-120 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 95-120 Status: Brak dostępnych egzemplarzy.
		Evaluating Prospective Built-in Elements of Computer Algebra in MIZAR / Adam Naumowicz. autor Naumowicz, Adam Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 191-200 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 191-200 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 191-200 Status: Brak dostępnych egzemplarzy.
		The QED Manifesto Revisited / Freek Wiedijk. autor Wiedijk, Freek, (1961- ) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 121-133 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 121-133 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 121-133 Status: Brak dostępnych egzemplarzy.
		Mizar Attributes : A Technique to Encode Mathematical Knowledge into Type Systems / Christoph Schwarzweller. autor Schwarzweller, Christoph Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 387-400 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 387-400 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 387-400 Status: Brak dostępnych egzemplarzy.
		Automated Discovery of Inductive Theorems / Roy McCasland, Alan Bundy, and Serge Autexier. autor McCasland, Roy Bundy, Alan, (1947- ) Autexier, Serge Rodzaj materiału: 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.
		Remarks on Non-Fregean Logic / Mieczysław Omyła. autor Omyła, Mieczysław, (1941- ) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 21-31 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 21-31 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 21-31 Status: Brak dostępnych egzemplarzy.
		Some Remarks on The Language of Mathematical Texts / Zinaida Trybulec and Halina Święczkowska. autor Trybulec, Zinaida Święczkowska, Halina Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 61-73 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 61-73 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 61-73 Status: Brak dostępnych egzemplarzy.
		On the Formalization of Lebesgue Integrals / Yasunari Shidama, Noburu Endou, and Pauline N. Kawamoto. autor Shidama, Yasunari Endou, Noboru Kawamoto, Pauline Naomi Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki Grzesiak, Maciej. Liczby zespolone i algebra liniowa 10 (23) (2007), s. 167-177 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 167-177 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 167-177 Status: Brak dostępnych egzemplarzy.
		Towards a MIZAR Mathematical Library in OMDoc Format / Grzegorz Bancerek and Michael Kohlhase. autor Bancerek, Grzegorz Kohlhase, Michael, (1964- ) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 265-275 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 265-275 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 265-275 Status: Brak dostępnych egzemplarzy.
		Formalizing Basic Complex Analysis : Dedicated to Andrzej Trybulec on the occasion of his 65th birthday / John Harrison. autor Harrison, John, (1966- ) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 151-165 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 151-165 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 151-165 Status: Brak dostępnych egzemplarzy.
		Computer-Assisted Reasoning about Algebraic Topology / Adam Grabowski and Artur Korniłowicz. autor Grabowski, Adam (matematyka) Korniłowicz, Artur Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 179-189 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 179-189 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 179-189 Status: Brak dostępnych egzemplarzy.
		Computer Supported Formal Work : Towards a Digital Mathematical Assistant / Jörg Siekmann and Serge Autexier. autor Siekmann, Jörg H, (1941- ) Autexier, Serge Rodzaj materiału: 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.
		Chiron : A Multi-Paradigm Logic / William M. Farmer. autor Farmer, William M Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 1-19 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 1-19 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 1-19 Status: Brak dostępnych egzemplarzy.
		Closing the Gap Between Formal and Digital Libraries of Mathematics / Jeremy Gow and Paul Cairns. autor Gow, Jeremy Cairns, Paul, (1971- ) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 249-263 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 249-263 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 249-263 Status: Brak dostępnych egzemplarzy.
		Jordan's Proof of the Jordan Curve Theorem / Thomas C. Hales. autor Hales, Thomas Callister Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 45-60 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 45-60 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 45-60 Status: Brak dostępnych egzemplarzy.
		Proving the Correctness of Functional Programs using MIZAR / Yatsuka Nakamura. autor Nakamura, Yatsuka (matematyka) Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 201-211 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 201-211 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 201-211 Status: Brak dostępnych egzemplarzy.
		A Verification for Redundant Signed Digit Adder Circuits / Katsumi Wasaki. autor Wasaki, Katsumi Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 213-230 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 213-230 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 213-230 Status: Brak dostępnych egzemplarzy.
		Informal and Formal Representations in Mathematics / Manfred Kerber and Martin Pollet. autor Kerber, Manfred, (1956- ) Pollet, Martin Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 75-94 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 75-94 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 75-94 Status: Brak dostępnych egzemplarzy.
		Isabelle/Isar - a Generic Framework for Human-Readable Proof Documents / Makarius Wenzel. autor Wenzel, Markus Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 277-297 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 277-297 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 277-297 Status: Brak dostępnych egzemplarzy.

Nazwa	Wartość	Okres ważności	Opis
CGISESSID	identyfikator sesji	Do czasu wylogowania lub zakończenia sesji	Plik cookie sesji
KohaOpacLanguage	Kod języka	3 lata	Przechowuje kod ostatnio wybranego języka, dzięki czemu katalog online będzie wyświetlany w tym samym języku przy następnej wizycie.
form_serialized form_serialized_limits	parametry wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	Plik przechowuje parametry ostatniego wyszukiwania zaawansowanego
search_path_code	ads (mniej) lub exs (więcej)	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Powiązane z plikami cookie w formacie serialized_form*. Zapamiętuje, czy w formularzu wyszukiwania zaawansowanego zastosowano opcję „Więcej opcji” lub „Mniej opcji”.
num_paragraph	Ilość dodanych opcji wyszukiwania	Koniec sesji lub ponowne wywołanie strony wyszukiwania zaawansowanego.	plik cookie jQuery. Służy do przechowywania liczby utworzonych opcji, gdy użytkownik wybierze opcję „Więcej opcji” w wyszukiwaniu zaawansowanym, aby zwiększyć liczbę pól wyszukiwania.
bib_list	Lista identyfikatorów rekordów	Koniec sesji lub do opróżnienia koszyka.	Przechowuje zawartość koszyka w katalogu. Ustawia moment dodania rekordów do koszyka po raz pierwszy.

Dostosuj wyszukiwanie

Dostępność

Autorzy

Typy dokumentów

Tematy

Język

Wyniki wyszukiwania: 21.