Wyszukiwanie zaawansowane

Wyniki wyszukiwania: 17.

Wyniki
		Eureka / [Intersoftland]. autor Intersoftland Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Warszawa : "Intersoftland", 1991 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 118249, ... Zamów
		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.
		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.
		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.
		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.
		Wprowadzenie do programu Derive™ 6 : [matematyczny asystent na Twoim komputerze] : ksiazka do nauki obsługi programu Derive 6 ze wskazówkami dla nauczycieli / Bernhard Kutzler, Vlasta Kokol-Voljc ; [przekł. z. j. ang. Gambit COiS Sp. z o.o.]. autor Kutzler, Bernhard, (1961- ) Kokol-Voljč, Vlasta, (1958- ) Gambit Centrum Oprogramowania i Szkoleń (Kraków) [pbl] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język oryginału: angielski Szczegóły wydania: Kraków : Gambit COiS, 2005 Inny tytuł: Derive™ 6 Introduction to Derive 6 Derive™6 Status: Niedostępny: Biblioteka Politechniki Poznańskiej: Wypożyczono (1). Zamów
		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.
		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 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.
		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.
		Katalog oprogramowania użytkowego opracowanego przez szkoły wyższe w ramach programu RRI. 14 (1988-1990). Cz. 2, [Informatyka, nauki techniczne, nauki pedagogiczne, nauki ekonomiczne i zarządzanie uczelnią, nauki przyrodnicze / red. Jerzy Battek, Teresa Bryszewska]. autor Battek, Jerzy, (1927-1991) [Red.] Bryszewska, Teresa [Red.] Politechnika Wrocławska. Oficyna Wydawnicza [pbl] Serie: Biblioteka Informatyki Szkół Wyższych Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Wrocław : Wydawnictwo Politechniki Wrocławskiej, 1990 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 116343, ... Zamów
		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.
		Katalog oprogramowania użytkowego opracowanego przez szkoły wyższe w ramach programu RRI. 14 (1988-1990). cz. 1, [Matematyka, fizyka, chemia, biologia, obsługa eksperymentu / redakcja Jerzy Battek, Teresa Bryszewska]. autor Battek, Jerzy, (1927-1991) [Redakcja] Bryszewska, Teresa [Redakcja] Politechnika Wrocławska. Oficyna Wydawnicza [Wydawca] Serie: Biblioteka Informatyki Szkół Wyższych Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Szczegóły wydania: Wrocław : Wydawnictwo Politechniki Wrocławskiej, 1990 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (3)Lokalizacja, sygnatura: w czytelni A 116343, ... Zamów
		Ćwiczenia z analizy matematycznej z zastosowaniem systemów obliczeń symbolicznych / Donald B. Small, John M. Hosack ; z ang. przeł. Małgorzata Nalbach. autor Small, Donald B Hosack, John M Nalbach, Małgorzata [Tł.] Wydawnictwa Naukowo-Techniczne [] Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki Język: polski Język oryginału: angielski Szczegóły wydania: Warszawa : Wydawnictwa Naukowo-Techniczne, 1995 Inny tytuł: Explorations in calculus with a computer algebra system Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (5)Lokalizacja, sygnatura: w czytelni A 124081, ... Zamów
		The Curious Inference of Boolos in Mizar and OMEGA / Christoph E. Benzmüller and Chad E. Brown. autor Benzmüller, Christoph Brown, Chad E Rodzaj materiału: Artykuł; Format: druk ; Forma literacka: Tekst nieliteracki From insight to proof 10 (23) (2007), s. 299-386 W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 299-386 W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 299-386 Status: Brak dostępnych egzemplarzy.
		Wyznaczanie ekstremum globalnego funkcji wieku zmiennych : metoda strefowo-równoległa / Stanisław Kowalik. autor Kowalik, Stanisław, (1945- ) [Autor] Politechnika Śląska (Gliwice). Wydawnictwo [Wydawca] Serie: Monografia - Politechnika Śląska ; 98 Rodzaj materiału: Tekst; Format: druk ; Forma literacka: Tekst nieliteracki ; Przeznaczenie czytelnicze: Odbiorca wyspecjalizowany; Język: polski Język streszczenia: angielski Szczegóły wydania: Gliwice : Wydawnictwo Politechniki Śląskiej, 2005 Status: Egzemplarze dostępne do wypożyczenia: Biblioteka Politechniki Poznańskiej (1)Lokalizacja, sygnatura: w czytelni A 153717.